Skip to content

Actions: gfngfn/SATySFi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
634 workflow runs
634 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce local packages to Saphe CI #1823: Pull request #429 synchronize by gfngfn
February 14, 2024 23:33 5m 42s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 23:33 5m 42s
SUCCEED IN RUNNING THE LOCAL FIXED PACKAGE TEST CI #1822: Commit baf0988 pushed by gfngfn
February 14, 2024 23:33 5m 29s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 23:33 5m 29s
Introduce local packages to Saphe CI #1821: Pull request #429 synchronize by gfngfn
February 14, 2024 23:12 5m 42s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 23:12 5m 42s
create the envelop config for each local fixed package CI #1820: Commit 537950a pushed by gfngfn
February 14, 2024 23:12 5m 31s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 23:12 5m 31s
Introduce local packages to Saphe CI #1819: Pull request #429 synchronize by gfngfn
February 14, 2024 22:52 6m 0s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 22:52 6m 0s
take registry specs by local fixed packages into account CI #1818: Commit 9e0124d pushed by gfngfn
February 14, 2024 22:52 5m 58s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 22:52 5m 58s
Introduce local packages to Saphe CI #1817: Pull request #429 synchronize by gfngfn
February 14, 2024 22:28 5m 57s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 22:28 5m 57s
fix doc-primitives.saphe.yaml CI #1816: Commit 6dbd53b pushed by gfngfn
February 14, 2024 22:28 5m 35s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 22:28 5m 35s
Introduce local packages to Saphe CI #1815: Pull request #429 synchronize by gfngfn
February 14, 2024 22:21 5m 51s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 22:21 5m 51s
check the language version required by local fixed packages CI #1814: Commit 0c17faf pushed by gfngfn
February 14, 2024 22:21 5m 29s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 22:21 5m 29s
Introduce local packages to Saphe CI #1813: Pull request #429 synchronize by gfngfn
February 14, 2024 21:38 5m 7s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 21:38 5m 7s
change exit status codes when the invocation of satysfi fails CI #1812: Commit 60d3eff pushed by gfngfn
February 14, 2024 21:38 5m 33s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 21:38 5m 33s
Introduce local packages to Saphe CI #1811: Pull request #429 synchronize by gfngfn
February 14, 2024 21:11 16m 14s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 21:11 16m 14s
FIRST SUCCESS in SOLVING CONSTRAINTS ABOUT LOCAL FIXED PACKAGES CI #1810: Commit f0578f4 pushed by gfngfn
February 14, 2024 21:11 15m 11s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 21:11 15m 11s
Introduce local packages to Saphe CI #1809: Pull request #429 synchronize by gfngfn
February 14, 2024 19:41 5m 30s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 19:41 5m 30s
add a unit test for PackageConstraintSolver about local fixed packa… CI #1808: Commit 01627c7 pushed by gfngfn
February 14, 2024 19:41 4m 55s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 19:41 4m 55s
Introduce local packages to Saphe CI #1807: Pull request #429 synchronize by gfngfn
February 14, 2024 19:13 5m 31s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 19:13 5m 31s
make Makefile run the local fixed package test (which fails so far) CI #1806: Commit b2973c1 pushed by gfngfn
February 14, 2024 19:13 5m 41s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 19:13 5m 41s
Introduce local packages to Saphe CI #1805: Pull request #429 synchronize by gfngfn
February 14, 2024 19:02 21m 58s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 19:02 21m 58s
add an integration test for local fixed packages CI #1804: Commit d1e1d43 pushed by gfngfn
February 14, 2024 19:02 15m 35s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 19:02 15m 35s
Introduce local packages to Saphe CI #1803: Pull request #429 synchronize by gfngfn
February 14, 2024 17:25 26m 35s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 17:25 26m 35s
implement LocalFixedPackageCollector CI #1802: Commit 4d5f321 pushed by gfngfn
February 14, 2024 17:25 13m 55s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 17:25 13m 55s
Introduce local packages to Saphe CI #1801: Pull request #429 synchronize by gfngfn
February 14, 2024 16:50 19m 59s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 16:50 19m 59s
start to develop LocalFixedPackageCollector CI #1800: Commit 65c8857 pushed by gfngfn
February 14, 2024 16:50 14m 51s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 16:50 14m 51s
Introduce local packages to Saphe CI #1799: Pull request #429 synchronize by gfngfn
February 14, 2024 16:21 16m 25s dev-0-1-0-introduce-local-fixed-to-saphe
dev-0-1-0-introduce-local-fixed-to-saphe
February 14, 2024 16:21 16m 25s
ProTip! You can narrow down the results and go further in time using created:<2024-02-14 or the other filters available.