Skip to content

Actions: OCamlPro/ocplib-simplex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Plublish doc on gh-pages branch Build #16: Pull request #28 opened by Halbaroth
March 28, 2024 14:34 5m 25s Halbaroth:deploy-doc
Halbaroth:deploy-doc
March 28, 2024 14:34 5m 25s
Merge pull request #27 from Halbaroth/update-workflows Build #15: Commit 9204a3d pushed by Halbaroth
March 28, 2024 14:31 6m 17s gh-pages
gh-pages
March 28, 2024 14:31 6m 17s
Merge pull request #27 from Halbaroth/update-workflows Build #14: Commit 9204a3d pushed by Halbaroth
March 28, 2024 13:43 9m 47s master
master
March 28, 2024 13:43 9m 47s
Merge pull request #27 from Halbaroth/update-workflows Documentation #1: Commit 9204a3d pushed by Halbaroth
March 28, 2024 13:43 5m 8s master
master
March 28, 2024 13:43 5m 8s
Merge pull request #26 from Halbaroth/update-dune-project Build #13: Commit 8c98724 pushed by Halbaroth
March 28, 2024 13:10 8m 4s master
master
March 28, 2024 13:10 8m 4s
Update workflows Build #12: Pull request #27 synchronize by Halbaroth
March 28, 2024 13:09 11m 59s Halbaroth:update-workflows
Halbaroth:update-workflows
March 28, 2024 13:09 11m 59s
Update workflows Build #11: Pull request #27 synchronize by Halbaroth
March 28, 2024 13:08 15s Halbaroth:update-workflows
Halbaroth:update-workflows
March 28, 2024 13:08 15s
Update workflows Build #10: Pull request #27 opened by Halbaroth
March 28, 2024 13:07 8m 51s Halbaroth:update-workflows
Halbaroth:update-workflows
March 28, 2024 13:07 8m 51s
Update dune-project Build #9: Pull request #26 opened by Halbaroth
March 28, 2024 12:49 6m 26s Halbaroth:update-dune-project
Halbaroth:update-dune-project
March 28, 2024 12:49 6m 26s
Merge pull request #25 from Halbaroth/release-0.5.1 Build #8: Commit 8ce356f pushed by Halbaroth
March 28, 2024 12:26 6m 21s master
master
March 28, 2024 12:26 6m 21s
Changes for release v0.5.1 Build #7: Pull request #25 opened by Halbaroth
March 28, 2024 12:25 8m 41s Halbaroth:release-0.5.1
Halbaroth:release-0.5.1
March 28, 2024 12:25 8m 41s
Merge pull request #24 from Halbaroth/update-lock Build #6: Commit 50996ec pushed by Halbaroth
March 26, 2024 09:54 11m 33s master
master
March 26, 2024 09:54 11m 33s
Update the lock file Build #5: Pull request #24 synchronize by Halbaroth
March 26, 2024 09:40 6m 32s Halbaroth:update-lock
Halbaroth:update-lock
March 26, 2024 09:40 6m 32s
Update the lock file Build #4: Pull request #24 synchronize by Halbaroth
March 25, 2024 10:34 12m 44s Halbaroth:update-lock
Halbaroth:update-lock
March 25, 2024 10:34 12m 44s
Update the lock file Build #3: Pull request #24 opened by Halbaroth
March 22, 2024 16:53 26m 0s Halbaroth:update-lock
Halbaroth:update-lock
March 22, 2024 16:53 26m 0s