Skip to content

Actions: ocaml-gospel/ortac

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
878 workflow runs
878 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #264 from nikolaushuber/clean-postcond documentation #68: Commit 1e61ed7 pushed by n-osborne
October 10, 2024 07:51 21s main
main
October 10, 2024 07:51 21s
Merge pull request #264 from nikolaushuber/clean-postcond Build and test #491: Commit 1e61ed7 pushed by n-osborne
October 10, 2024 07:51 18s main
main
October 10, 2024 07:51 18s
Remove unnecessary stack access from precond Build and test #490: Pull request #264 synchronize by nikolaushuber
October 9, 2024 20:42 18s nikolaushuber:clean-postcond
nikolaushuber:clean-postcond
October 9, 2024 20:42 18s
Remove unnecessary stack access from precond changelog #312: Pull request #264 synchronize by nikolaushuber
October 9, 2024 20:42 13s nikolaushuber:clean-postcond
nikolaushuber:clean-postcond
October 9, 2024 20:42 13s
Merge pull request #265 from n-osborne/fix-version-with-test documentation #67: Commit a6aac46 pushed by n-osborne
October 9, 2024 15:47 31s main
main
October 9, 2024 15:47 31s
Merge pull request #265 from n-osborne/fix-version-with-test Build and test #489: Commit a6aac46 pushed by n-osborne
October 9, 2024 15:47 28s main
main
October 9, 2024 15:47 28s
Add missing upper bounds on ortac packages Build and test #488: Pull request #265 synchronize by n-osborne
October 9, 2024 15:33 27s n-osborne:fix-version-with-test
n-osborne:fix-version-with-test
October 9, 2024 15:33 27s
Add missing upper bounds on ortac packages changelog #311: Pull request #265 synchronize by n-osborne
October 9, 2024 15:33 3s n-osborne:fix-version-with-test
n-osborne:fix-version-with-test
October 9, 2024 15:33 3s
Update github action changelog #310: Pull request #266 synchronize by n-osborne
October 9, 2024 15:27 2s n-osborne:update-github-action
n-osborne:update-github-action
October 9, 2024 15:27 2s
Update github action Build and test #487: Pull request #266 synchronize by n-osborne
October 9, 2024 15:27 27s n-osborne:update-github-action
n-osborne:update-github-action
October 9, 2024 15:27 27s
Add missing upper bounds on ortac packages changelog #309: Pull request #265 synchronize by n-osborne
October 9, 2024 15:24 3s n-osborne:fix-version-with-test
n-osborne:fix-version-with-test
October 9, 2024 15:24 3s
Add missing upper bounds on ortac packages Build and test #486: Pull request #265 synchronize by n-osborne
October 9, 2024 15:24 22s n-osborne:fix-version-with-test
n-osborne:fix-version-with-test
October 9, 2024 15:24 22s
Update github action Build and test #485: Pull request #266 opened by n-osborne
October 9, 2024 15:23 25s n-osborne:update-github-action
n-osborne:update-github-action
October 9, 2024 15:23 25s
Update github action changelog #308: Pull request #266 opened by n-osborne
October 9, 2024 15:23 3s n-osborne:update-github-action
n-osborne:update-github-action
October 9, 2024 15:23 3s
Update github action changelog #307: Pull request #266 labeled by n-osborne
October 9, 2024 15:23 2s n-osborne:update-github-action
n-osborne:update-github-action
October 9, 2024 15:23 2s
Add missing upper bounds on ortac packages Build and test #484: Pull request #265 opened by n-osborne
October 9, 2024 13:21 23s n-osborne:fix-version-with-test
n-osborne:fix-version-with-test
October 9, 2024 13:21 23s
Add missing upper bounds on ortac packages changelog #306: Pull request #265 opened by n-osborne
October 9, 2024 13:21 3s n-osborne:fix-version-with-test
n-osborne:fix-version-with-test
October 9, 2024 13:21 3s
Add missing upper bounds on ortac packages changelog #305: Pull request #265 labeled by n-osborne
October 9, 2024 13:21 3s n-osborne:fix-version-with-test
n-osborne:fix-version-with-test
October 9, 2024 13:21 3s
Remove unnecessary stack access from precond changelog #304: Pull request #264 opened by nikolaushuber
October 8, 2024 22:16 11s nikolaushuber:clean-postcond
nikolaushuber:clean-postcond
October 8, 2024 22:16 11s
Remove unnecessary stack access from precond Build and test #483: Pull request #264 opened by nikolaushuber
October 8, 2024 22:16 4m 58s nikolaushuber:clean-postcond
nikolaushuber:clean-postcond
October 8, 2024 22:16 4m 58s
Merge pull request #263 from n-osborne/prepare-0.4.0-release Build and test #482: Commit 23373dc pushed by n-osborne
October 8, 2024 11:58 4m 58s 0.4.0
0.4.0
October 8, 2024 11:58 4m 58s
Merge pull request #263 from n-osborne/prepare-0.4.0-release documentation #66: Commit 23373dc pushed by n-osborne
October 8, 2024 11:46 4m 35s main
main
October 8, 2024 11:46 4m 35s
Merge pull request #263 from n-osborne/prepare-0.4.0-release Build and test #481: Commit 23373dc pushed by n-osborne
October 8, 2024 11:46 5m 1s main
main
October 8, 2024 11:46 5m 1s
Prepare release of version 0.4.0 changelog #303: Pull request #263 opened by n-osborne
October 8, 2024 07:55 10s n-osborne:prepare-0.4.0-release
n-osborne:prepare-0.4.0-release
October 8, 2024 07:55 10s
Prepare release of version 0.4.0 Build and test #480: Pull request #263 opened by n-osborne
October 8, 2024 07:55 5m 7s n-osborne:prepare-0.4.0-release
n-osborne:prepare-0.4.0-release
October 8, 2024 07:55 5m 7s