Skip to content

Actions: OCamlPro/ocplib-simplex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #34 from bclement-ocp/poly-error Documentation #7: Commit 3aab708 pushed by Halbaroth
June 7, 2024 11:09 5m 6s master
master
June 7, 2024 11:09 5m 6s
Merge pull request #34 from bclement-ocp/poly-error Build #35: Commit 3aab708 pushed by Halbaroth
June 7, 2024 11:09 5m 8s master
master
June 7, 2024 11:09 5m 8s
Do not assert in user code Build #34: Pull request #34 synchronize by bclement-ocp
June 7, 2024 09:48 2m 12s bclement-ocp:poly-error
bclement-ocp:poly-error
June 7, 2024 09:48 2m 12s
Do not assert in user code Build #33: Pull request #34 opened by bclement-ocp
June 6, 2024 15:34 5m 23s bclement-ocp:poly-error
bclement-ocp:poly-error
June 6, 2024 15:34 5m 23s
Merge pull request #32 from Halbaroth/bump-dune-version Build #32: Commit d0c0a04 pushed by Halbaroth
April 23, 2024 11:31 13m 54s master
master
April 23, 2024 11:31 13m 54s
Merge pull request #32 from Halbaroth/bump-dune-version Documentation #6: Commit d0c0a04 pushed by Halbaroth
April 23, 2024 11:31 5m 31s master
master
April 23, 2024 11:31 5m 31s
Bump the minimal version of Dune to 3.0 Build #31: Pull request #32 synchronize by Halbaroth
March 28, 2024 16:33 4m 18s Halbaroth:bump-dune-version
Halbaroth:bump-dune-version
March 28, 2024 16:33 4m 18s
Bump the minimal version of Dune to 3.0 Build #30: Pull request #32 opened by Halbaroth
March 28, 2024 16:09 6m 12s Halbaroth:bump-dune-version
Halbaroth:bump-dune-version
March 28, 2024 16:09 6m 12s
Merge pull request #31 from OCamlPro/Halbaroth-patch-1 Build #29: Commit 12e7c1f pushed by Halbaroth
March 28, 2024 15:10 15m 54s v0.5.1
v0.5.1
March 28, 2024 15:10 15m 54s
Update ocplib-simplex doc to 0.5.1. Build #28: Commit aa2194e pushed by Halbaroth
March 28, 2024 15:10 12m 23s gh-pages
gh-pages
March 28, 2024 15:10 12m 23s
Merge pull request #31 from OCamlPro/Halbaroth-patch-1 Build #27: Commit 12e7c1f pushed by Halbaroth
March 28, 2024 15:07 12m 55s v0.5.x
v0.5.x
March 28, 2024 15:07 12m 55s
Plublish doc on gh-pages branch Build #26: Commit b049555 pushed by Halbaroth
March 28, 2024 15:05 13m 26s v0.5.x
v0.5.x
March 28, 2024 15:05 13m 26s
Merge pull request #31 from OCamlPro/Halbaroth-patch-1 Documentation #5: Commit 12e7c1f pushed by Halbaroth
March 28, 2024 15:03 3m 25s master
master
March 28, 2024 15:03 3m 25s
Merge pull request #31 from OCamlPro/Halbaroth-patch-1 Build #25: Commit 12e7c1f pushed by Halbaroth
March 28, 2024 15:03 12m 25s master
master
March 28, 2024 15:03 12m 25s
Update README.md Build #24: Pull request #31 opened by Halbaroth
March 28, 2024 15:03 11m 52s Halbaroth-patch-1
Halbaroth-patch-1
March 28, 2024 15:03 11m 52s
Update README.md Build #23: Commit 1a89059 pushed by Halbaroth
March 28, 2024 15:03 9m 10s Halbaroth-patch-1
Halbaroth-patch-1
March 28, 2024 15:03 9m 10s
Merge pull request #30 from Halbaroth/improve-readme Documentation #4: Commit 2b3f981 pushed by Halbaroth
March 28, 2024 15:02 3m 56s master
master
March 28, 2024 15:02 3m 56s
Merge pull request #30 from Halbaroth/improve-readme Build #22: Commit 2b3f981 pushed by Halbaroth
March 28, 2024 15:02 9m 3s master
master
March 28, 2024 15:02 9m 3s
Merge pull request #29 from Halbaroth/fix-odoc Documentation #3: Commit 4a38fd6 pushed by Halbaroth
March 28, 2024 15:02 4m 2s master
master
March 28, 2024 15:02 4m 2s
Merge pull request #29 from Halbaroth/fix-odoc Build #21: Commit 4a38fd6 pushed by Halbaroth
March 28, 2024 15:02 6m 45s master
master
March 28, 2024 15:02 6m 45s
Improve the README and add CONTRIBUTING Build #20: Pull request #30 opened by Halbaroth
March 28, 2024 15:01 4m 42s Halbaroth:improve-readme
Halbaroth:improve-readme
March 28, 2024 15:01 4m 42s
The tag const is deprecated Build #19: Pull request #29 opened by Halbaroth
March 28, 2024 14:42 4m 44s Halbaroth:fix-odoc
Halbaroth:fix-odoc
March 28, 2024 14:42 4m 44s
Merge pull request #28 from Halbaroth/deploy-doc Build #18: Commit 1c70f13 pushed by Halbaroth
March 28, 2024 14:38 5m 13s v0.5.x
v0.5.x
March 28, 2024 14:38 5m 13s
Merge pull request #28 from Halbaroth/deploy-doc Build #17: Commit 1c70f13 pushed by Halbaroth
March 28, 2024 14:34 8m 17s master
master
March 28, 2024 14:34 8m 17s
Merge pull request #28 from Halbaroth/deploy-doc Documentation #2: Commit 1c70f13 pushed by Halbaroth
March 28, 2024 14:34 2m 7s master
master
March 28, 2024 14:34 2m 7s