Skip to content

Actions: ocaml-gospel/ortac

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
886 workflow runs
886 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add command shrinker function changelog #315: Pull request #272 synchronize by nikolaushuber
November 4, 2024 12:40 16s nikolaushuber:cmd-shrinker
nikolaushuber:cmd-shrinker
November 4, 2024 12:40 16s
Add command shrinker function Build and test #495: Pull request #272 synchronize by nikolaushuber
November 4, 2024 12:40 4m 7s nikolaushuber:cmd-shrinker
nikolaushuber:cmd-shrinker
November 4, 2024 12:40 4m 7s
Add command shrinker function changelog #314: Pull request #272 opened by nikolaushuber
November 2, 2024 14:44 12s nikolaushuber:cmd-shrinker
nikolaushuber:cmd-shrinker
November 2, 2024 14:44 12s
Add command shrinker function Build and test #494: Pull request #272 opened by nikolaushuber
November 2, 2024 14:44 7m 40s nikolaushuber:cmd-shrinker
nikolaushuber:cmd-shrinker
November 2, 2024 14:44 7m 40s
Extend tests of the QCheck-STM plugin changelog #313: Pull request #271 opened by nikolaushuber
October 30, 2024 10:02 10s nikolaushuber:extend-qcheck-stm-tests
nikolaushuber:extend-qcheck-stm-tests
October 30, 2024 10:02 10s
Extend tests of the QCheck-STM plugin Build and test #493: Pull request #271 opened by nikolaushuber
October 30, 2024 10:02 7m 50s nikolaushuber:extend-qcheck-stm-tests
nikolaushuber:extend-qcheck-stm-tests
October 30, 2024 10:02 7m 50s
Merge pull request #266 from n-osborne/update-github-action documentation #69: Commit 8008c59 pushed by n-osborne
October 15, 2024 10:10 20s main
main
October 15, 2024 10:10 20s
Merge pull request #266 from n-osborne/update-github-action Build and test #492: Commit 8008c59 pushed by n-osborne
October 15, 2024 10:10 8m 13s main
main
October 15, 2024 10:10 8m 13s
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 8m 8s n-osborne:update-github-action
n-osborne:update-github-action
October 9, 2024 15:27 8m 8s
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