Skip to content

Actions: ocaml-gospel/ortac

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
706 workflow runs
706 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #293 from n-osborne/prepare-release Build and test #551: Commit 3a22f55 pushed by n-osborne
March 5, 2025 13:33 3m 49s 0.6.0
0.6.0
March 5, 2025 13:33 3m 49s
Merge pull request #293 from n-osborne/prepare-release documentation #88: Commit 3a22f55 pushed by n-osborne
March 5, 2025 13:30 3m 40s main
main
March 5, 2025 13:30 3m 40s
Merge pull request #293 from n-osborne/prepare-release Build and test #550: Commit 3a22f55 pushed by n-osborne
March 5, 2025 13:30 3m 50s main
main
March 5, 2025 13:30 3m 50s
Prepare 0.6.0 release changelog #362: Pull request #293 unlabeled by n-osborne
March 4, 2025 15:25 11s n-osborne:prepare-release
n-osborne:prepare-release
March 4, 2025 15:25 11s
Prepare 0.6.0 release changelog #361: Pull request #293 synchronize by n-osborne
March 4, 2025 15:25 2s n-osborne:prepare-release
n-osborne:prepare-release
March 4, 2025 15:25 2s
Prepare 0.6.0 release Build and test #549: Pull request #293 synchronize by n-osborne
March 4, 2025 15:25 3m 53s n-osborne:prepare-release
n-osborne:prepare-release
March 4, 2025 15:25 3m 53s
Prepare 0.6.0 release changelog #360: Pull request #293 labeled by n-osborne
March 4, 2025 15:04 2s n-osborne:prepare-release
n-osborne:prepare-release
March 4, 2025 15:04 2s
Prepare 0.6.0 release changelog #359: Pull request #293 opened by n-osborne
March 4, 2025 15:04 18s n-osborne:prepare-release
n-osborne:prepare-release
March 4, 2025 15:04 18s
Prepare 0.6.0 release Build and test #548: Pull request #293 opened by n-osborne
March 4, 2025 15:04 3m 53s n-osborne:prepare-release
n-osborne:prepare-release
March 4, 2025 15:04 3m 53s
Merge pull request #292 from n-osborne/update-deploy-workflow documentation #87: Commit 998b2ec pushed by n-osborne
March 4, 2025 14:18 3m 5s main
main
March 4, 2025 14:18 3m 5s
Merge pull request #292 from n-osborne/update-deploy-workflow Build and test #547: Commit 998b2ec pushed by n-osborne
March 4, 2025 14:18 3m 41s main
main
March 4, 2025 14:18 3m 41s
Update deploy-pages version changelog #358: Pull request #292 opened by n-osborne
March 4, 2025 14:11 2s n-osborne:update-deploy-workflow
n-osborne:update-deploy-workflow
March 4, 2025 14:11 2s
Update deploy-pages version changelog #357: Pull request #292 labeled by n-osborne
March 4, 2025 14:11 2s n-osborne:update-deploy-workflow
n-osborne:update-deploy-workflow
March 4, 2025 14:11 2s
Update deploy-pages version Build and test #546: Pull request #292 opened by n-osborne
March 4, 2025 14:11 6m 54s n-osborne:update-deploy-workflow
n-osborne:update-deploy-workflow
March 4, 2025 14:11 6m 54s
Merge pull request #291 from n-osborne/more-flexible-returned-value-d… documentation #86: Commit cf340c6 pushed by n-osborne
March 4, 2025 13:53 4m 13s main
main
March 4, 2025 13:53 4m 13s
Merge pull request #291 from n-osborne/more-flexible-returned-value-d… Build and test #545: Commit cf340c6 pushed by n-osborne
March 4, 2025 13:53 3m 50s main
main
March 4, 2025 13:53 3m 50s
Make search for returned value description more flexible changelog #356: Pull request #291 opened by n-osborne
March 3, 2025 16:16 15s n-osborne:more-flexible-returned-value-description
n-osborne:more-flexible-returned-value-description
March 3, 2025 16:16 15s
Make search for returned value description more flexible Build and test #544: Pull request #291 opened by n-osborne
March 3, 2025 16:16 3m 55s n-osborne:more-flexible-returned-value-description
n-osborne:more-flexible-returned-value-description
March 3, 2025 16:16 3m 55s
Merge pull request #288 from n-osborne/fix-fn-appy-ident-generation documentation #85: Commit f642e67 pushed by n-osborne
March 3, 2025 14:41 2m 56s main
main
March 3, 2025 14:41 2m 56s
Merge pull request #288 from n-osborne/fix-fn-appy-ident-generation Build and test #543: Commit f642e67 pushed by n-osborne
March 3, 2025 14:41 3m 52s main
main
March 3, 2025 14:41 3m 52s
Fix generation of the QCheck.Fn.apply identifier Build and test #542: Pull request #288 synchronize by n-osborne
March 3, 2025 14:18 3m 50s n-osborne:fix-fn-appy-ident-generation
n-osborne:fix-fn-appy-ident-generation
March 3, 2025 14:18 3m 50s
Fix generation of the QCheck.Fn.apply identifier changelog #355: Pull request #288 synchronize by n-osborne
March 3, 2025 14:18 14s n-osborne:fix-fn-appy-ident-generation
n-osborne:fix-fn-appy-ident-generation
March 3, 2025 14:18 14s
Merge pull request #290 from n-osborne/update-doc-workflow-bis documentation #84: Commit 42a2975 pushed by n-osborne
March 3, 2025 14:14 7m 28s main
main
March 3, 2025 14:14 7m 28s
Merge pull request #290 from n-osborne/update-doc-workflow-bis Build and test #541: Commit 42a2975 pushed by n-osborne
March 3, 2025 14:14 3m 50s main
main
March 3, 2025 14:14 3m 50s
Fix upload-pages-artifact version changelog #354: Pull request #290 opened by n-osborne
March 3, 2025 14:09 3s n-osborne:update-doc-workflow-bis
n-osborne:update-doc-workflow-bis
March 3, 2025 14:09 3s