Skip to content

Actions: gfngfn/SATySFi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
771 workflow runs
771 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

write satysfi-envelope.yaml for libraries during saphe solve CI #1661: Commit b99509c pushed by gfngfn
December 30, 2023 18:19 7m 5s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 30, 2023 18:19 7m 5s
Separate saphe from satysfi CI #1660: Pull request #422 synchronize by gfngfn
December 27, 2023 19:08 6m 52s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 19:08 6m 52s
suppress the version of camlimages CI #1659: Commit 070f4d7 pushed by gfngfn
December 27, 2023 19:08 6m 36s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 19:08 6m 36s
Separate saphe from satysfi CI #1658: Pull request #422 synchronize by gfngfn
December 27, 2023 17:02 6m 25s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 17:02 6m 25s
develop how to handle paths of configs CI #1657: Commit a408faf pushed by gfngfn
December 27, 2023 17:02 6m 21s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 17:02 6m 21s
Separate saphe from satysfi CI #1656: Pull request #422 synchronize by gfngfn
December 27, 2023 14:23 6m 43s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 14:23 6m 43s
begin to migrate testing and stdlib to Saphe CI #1655: Commit 2e728e2 pushed by gfngfn
December 27, 2023 14:23 6m 20s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 14:23 6m 20s
Separate saphe from satysfi CI #1654: Pull request #422 synchronize by gfngfn
December 27, 2023 12:24 6m 41s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 12:24 6m 41s
slight changes CI #1653: Commit a7c5a20 pushed by gfngfn
December 27, 2023 12:24 6m 36s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 12:24 6m 36s
Separate saphe from satysfi CI #1652: Pull request #422 synchronize by gfngfn
December 27, 2023 09:48 6m 47s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 09:48 6m 47s
handle language/ecosystem versions CI #1651: Commit 193416a pushed by gfngfn
December 27, 2023 09:48 6m 37s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 09:48 6m 37s
Separate saphe from satysfi CI #1650: Pull request #422 synchronize by gfngfn
December 27, 2023 07:31 6m 19s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 07:31 6m 19s
rename values and modules CI #1649: Commit 7017a97 pushed by gfngfn
December 27, 2023 07:31 6m 12s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 07:31 6m 12s
Separate saphe from satysfi CI #1648: Pull request #422 synchronize by gfngfn
December 27, 2023 06:54 6m 49s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 06:54 6m 49s
slight changes on the two Mains CI #1647: Commit bbee191 pushed by gfngfn
December 27, 2023 06:54 6m 21s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 27, 2023 06:54 6m 21s
Separate saphe from satysfi CI #1646: Pull request #422 opened by gfngfn
December 26, 2023 21:36 9m 51s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 26, 2023 21:36 9m 51s
FIRST SUCCESS IN SEPARATING saphe FROM satysfi CI #1645: Commit d569928 pushed by gfngfn
December 26, 2023 21:34 6m 29s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 26, 2023 21:34 6m 29s
begin to develop saphe CI #1644: Commit 5799d3f pushed by gfngfn
December 26, 2023 17:39 9m 30s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
December 26, 2023 17:39 9m 30s
Develop the package system CI #1643: Pull request #369 synchronize by gfngfn
December 5, 2023 09:35 19m 56s dev-0-1-0-package-system
dev-0-1-0-package-system
December 5, 2023 09:35 19m 56s
Merge pull request #421 from kyori19/use-submodules CI #1642: Commit 12d4c64 pushed by gfngfn
December 5, 2023 09:35 16m 37s dev-0-1-0-package-system
dev-0-1-0-package-system
December 5, 2023 09:35 16m 37s
Allow importing submodules in use statement CI #1641: Pull request #421 synchronize by kyori19
December 4, 2023 06:32 25m 7s kyori19:use-submodules
kyori19:use-submodules
December 4, 2023 06:32 25m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-12-04 or the other filters available.