Skip to content

Actions: gfngfn/SATySFi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
770 workflow runs
770 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' of github.com:gfngfn/SATySFi CI #1788: Commit 8792aa8 pushed by gfngfn
February 5, 2024 13:45 23m 52s master
master
February 5, 2024 13:45 23m 52s
Merge pull request #428 from gfngfn/release-0-0-11 CI #1787: Commit 71f00da pushed by gfngfn
February 5, 2024 13:42 18m 41s master
master
February 5, 2024 13:42 18m 41s
Release 0.0.11 CI #1786: Pull request #428 opened by gfngfn
February 5, 2024 12:14 36m 3s release-0-0-11
release-0-0-11
February 5, 2024 12:14 36m 3s
release 0.0.11 CI #1785: Commit 1150d30 pushed by gfngfn
February 5, 2024 12:14 13m 44s release-0-0-11
release-0-0-11
February 5, 2024 12:14 13m 44s
Merge pull request #419 from y-yu/generate-version-from-opam-file CI #1784: Commit e1e2ad0 pushed by gfngfn
February 5, 2024 03:19 11m 48s master
master
February 5, 2024 03:19 11m 48s
Merge pull request #426 from gfngfn/fix-camlimages-dependencies CI #1783: Commit cec8c17 pushed by gfngfn
February 5, 2024 02:53 18m 34s master
master
February 5, 2024 02:53 18m 34s
Improve dependencies in configs CI #1782: Pull request #426 synchronize by gfngfn
February 3, 2024 17:18 28m 42s fix-camlimages-dependencies
fix-camlimages-dependencies
February 3, 2024 17:18 28m 42s
revert change on the version constraint of camlimages for the moment CI #1781: Commit e0f744e pushed by gfngfn
February 3, 2024 17:18 23m 4s fix-camlimages-dependencies
fix-camlimages-dependencies
February 3, 2024 17:18 23m 4s
Add OCaml 5 CI #1780: Pull request #427 opened by y-yu
January 26, 2024 11:06 6m 43s y-yu:add-ocaml-5
y-yu:add-ocaml-5
January 26, 2024 11:06 6m 43s
Improve dependencies in configs CI #1779: Pull request #426 synchronize by gfngfn
January 18, 2024 18:04 8m 47s fix-camlimages-dependencies
fix-camlimages-dependencies
January 18, 2024 18:04 8m 47s
specify more versions in satysfi.opam CI #1778: Commit 62dcbfd pushed by gfngfn
January 18, 2024 18:04 8m 43s fix-camlimages-dependencies
fix-camlimages-dependencies
January 18, 2024 18:04 8m 43s
Improve dependencies in configs CI #1777: Pull request #426 opened by gfngfn
January 18, 2024 18:03 40m 17s fix-camlimages-dependencies
fix-camlimages-dependencies
January 18, 2024 18:03 40m 17s
fix src/dune about how to use camlimages CI #1776: Commit cfc4c9d pushed by gfngfn
January 18, 2024 18:02 28m 57s fix-camlimages-dependencies
fix-camlimages-dependencies
January 18, 2024 18:02 28m 57s
Separate saphe from satysfi CI #1775: Pull request #422 synchronize by gfngfn
January 18, 2024 17:21 22m 11s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 18, 2024 17:21 22m 11s
slightly add a TODO comment CI #1774: Commit 84cd528 pushed by gfngfn
January 18, 2024 17:21 21m 42s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 18, 2024 17:21 21m 42s
Separate saphe from satysfi CI #1773: Pull request #422 synchronize by gfngfn
January 9, 2024 06:23 13m 21s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 9, 2024 06:23 13m 21s
fix and refine tests/Makefile CI #1772: Commit 44ff21b pushed by gfngfn
January 9, 2024 06:23 14m 3s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 9, 2024 06:23 14m 3s
Separate saphe from satysfi CI #1771: Pull request #422 synchronize by gfngfn
January 8, 2024 19:47 18m 32s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 8, 2024 19:47 18m 32s
fix Makefile for the integration tests for saphe init CI #1770: Commit 6981c89 pushed by gfngfn
January 8, 2024 19:47 20m 40s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 8, 2024 19:47 20m 40s
Separate saphe from satysfi CI #1769: Pull request #422 synchronize by gfngfn
January 8, 2024 19:21 6m 46s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 8, 2024 19:21 6m 46s
add integration tests for saphe init library (2) CI #1768: Commit 6a3a11a pushed by gfngfn
January 8, 2024 19:21 6m 0s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 8, 2024 19:21 6m 0s
Separate saphe from satysfi CI #1767: Pull request #422 synchronize by gfngfn
January 8, 2024 19:07 6m 18s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 8, 2024 19:07 6m 18s
add integration tests for saphe init CI #1766: Commit 159d358 pushed by gfngfn
January 8, 2024 19:07 5m 52s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 8, 2024 19:07 5m 52s
Separate saphe from satysfi CI #1765: Pull request #422 synchronize by gfngfn
January 8, 2024 15:56 16m 45s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 8, 2024 15:56 16m 45s
separate saphe update from saphe solve CI #1764: Commit 2dcd2e1 pushed by gfngfn
January 8, 2024 15:56 22m 46s dev-0-1-0-separate-saphe-from-satysfi
dev-0-1-0-separate-saphe-from-satysfi
January 8, 2024 15:56 22m 46s
ProTip! You can narrow down the results and go further in time using created:<2024-01-08 or the other filters available.