Skip to content

Actions: Halbaroth/ocplib-simplex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unused variables in tests Build #16: Commit c2e8ee2 pushed by Halbaroth
March 28, 2024 16:33 4m 6s bump-dune-version
bump-dune-version
March 28, 2024 16:33 4m 6s
Bump the minimal version of Dune to 3.0 Build #15: Commit 8e489ac pushed by Halbaroth
March 28, 2024 16:08 12m 28s bump-dune-version
bump-dune-version
March 28, 2024 16:08 12m 28s
Improve the README and add CONTRIBUTING Build #14: Commit 252e613 pushed by Halbaroth
March 28, 2024 15:01 14m 11s improve-readme
improve-readme
March 28, 2024 15:01 14m 11s
The tag const is deprecated Build #13: Commit 7859422 pushed by Halbaroth
March 28, 2024 14:42 9m 29s fix-odoc
fix-odoc
March 28, 2024 14:42 9m 29s
Plublish doc on gh-pages branch Build #12: Commit 89ab2ef pushed by Halbaroth
March 28, 2024 14:33 9m 16s deploy-doc
deploy-doc
March 28, 2024 14:33 9m 16s
Update workflows Build #11: Commit f7ef59e pushed by Halbaroth
March 28, 2024 13:09 7m 56s update-workflows
update-workflows
March 28, 2024 13:09 7m 56s
Update workflows Build #10: Commit 3c2625a pushed by Halbaroth
March 28, 2024 13:08 14s update-workflows
update-workflows
March 28, 2024 13:08 14s
Update workflows Build #9: Commit e89d96b pushed by Halbaroth
March 28, 2024 13:07 7m 53s update-workflows
update-workflows
March 28, 2024 13:07 7m 53s
Update dune-project Build #8: Commit 7f0e088 pushed by Halbaroth
March 28, 2024 12:48 6m 6s update-dune-project
update-dune-project
March 28, 2024 12:48 6m 6s
Changes for release v0.5.1 Build #7: Commit a128396 pushed by Halbaroth
March 28, 2024 12:24 12m 24s release-0.5.1
release-0.5.1
March 28, 2024 12:24 12m 24s
Merge pull request #24 from Halbaroth/update-lock Build #6: Commit 50996ec pushed by Halbaroth
March 28, 2024 12:23 16m 26s master
master
March 28, 2024 12:23 16m 26s
Remove doc from the test target dependencies Build #5: Commit 84fa5e1 pushed by Halbaroth
March 26, 2024 09:40 7m 47s update-lock
update-lock
March 26, 2024 09:40 7m 47s
Add odoc dependency Build #4: Commit 7da45dd pushed by Halbaroth
March 25, 2024 10:34 7m 2s update-lock
update-lock
March 25, 2024 10:34 7m 2s
Update the lock file Build #3: Commit 55e060d pushed by Halbaroth
March 22, 2024 16:52 11m 38s update-lock
update-lock
March 22, 2024 16:52 11m 38s
Add lock in phony list Build #2: Commit 093c3d4 pushed by Halbaroth
August 23, 2023 19:28 9m 58s improve-building
improve-building
August 23, 2023 19:28 9m 58s
Add a github workflow Build #1: Commit 77b0139 pushed by Halbaroth
August 23, 2023 16:36 18m 10s improve-building
improve-building
August 23, 2023 16:36 18m 10s