Skip to content

Actions: ocaml-gospel/ortac

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow run results
150 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check for out of scope variables. Build and test #138: Pull request #175 opened by n-osborne
November 7, 2023 15:24 9m 8s n-osborne:fix-out-of-scope
n-osborne:fix-out-of-scope
November 7, 2023 15:24 9m 8s
Add a guard testing equality for integer constant pattern Build and test #137: Pull request #174 synchronize by n-osborne
November 7, 2023 11:10 13m 36s n-osborne:handle-integer-patterns
n-osborne:handle-integer-patterns
November 7, 2023 11:10 13m 36s
Add a guard testing equality for integer constant pattern Build and test #136: Pull request #174 synchronize by n-osborne
November 6, 2023 16:44 12m 12s n-osborne:handle-integer-patterns
n-osborne:handle-integer-patterns
November 6, 2023 16:44 12m 12s
Add a guard testing equality for integer constant pattern Build and test #135: Pull request #174 opened by n-osborne
November 6, 2023 16:43 9m 37s n-osborne:handle-integer-patterns
n-osborne:handle-integer-patterns
November 6, 2023 16:43 9m 37s
pages build and deployment pages-build-deployment #5: by github-pages bot
November 6, 2023 11:21 41s
November 6, 2023 11:21 41s
Merge pull request #170 from shym/dune-opam documentation #7: Commit 1f63f26 pushed by shym
November 6, 2023 11:16 6m 34s main
main
November 6, 2023 11:16 6m 34s
Merge pull request #170 from shym/dune-opam Build and test #134: Commit 1f63f26 pushed by shym
November 6, 2023 11:16 10m 9s main
main
November 6, 2023 11:16 10m 9s
Update the opam descriptions and dunify them Build and test #133: Pull request #170 opened by shym
November 2, 2023 10:24 14m 14s shym:dune-opam
shym:dune-opam
November 2, 2023 10:24 14m 14s
pages build and deployment pages-build-deployment #4: by github-pages bot
October 30, 2023 14:30 35s
October 30, 2023 14:30 35s
Merge pull request #168 from shym/readme-released Build and test #132: Commit 282f5d8 pushed by n-osborne
October 30, 2023 14:23 14m 15s main
main
October 30, 2023 14:23 14m 15s
Merge pull request #168 from shym/readme-released documentation #6: Commit 282f5d8 pushed by n-osborne
October 30, 2023 14:23 9m 25s main
main
October 30, 2023 14:23 9m 25s
Update the README with the released packages Build and test #131: Pull request #168 opened by shym
October 30, 2023 13:31 12m 16s shym:readme-released
shym:readme-released
October 30, 2023 13:31 12m 16s
Merge pull request #167 from n-osborne/dev Build and test #130: Commit 66df890 pushed by n-osborne
October 24, 2023 15:06 12m 11s main
main
October 24, 2023 15:06 12m 11s
Merge pull request #167 from n-osborne/dev documentation #5: Commit 66df890 pushed by n-osborne
October 24, 2023 15:06 9m 16s main
main
October 24, 2023 15:06 9m 16s
dev Build and test #129: Pull request #167 opened by n-osborne
October 24, 2023 15:06 12m 16s n-osborne:dev
n-osborne:dev
October 24, 2023 15:06 12m 16s
Build and test Build and test #128: by n-osborne
October 24, 2023 12:39 12m 16s 0.1.0
0.1.0
October 24, 2023 12:39 12m 16s
pages build and deployment pages-build-deployment #3: by github-pages bot
October 24, 2023 09:58 32s
October 24, 2023 09:58 32s
Merge pull request #166 from n-osborne/doc-fix documentation #4: Commit 8bc52be pushed by n-osborne
October 24, 2023 09:51 9m 57s main
main
October 24, 2023 09:51 9m 57s
Merge pull request #166 from n-osborne/doc-fix Build and test #127: Commit 8bc52be pushed by n-osborne
October 24, 2023 09:51 12m 35s main
main
October 24, 2023 09:51 12m 35s
Merge pull request #160 from shym/opam Build and test #126: Commit bd3107b pushed by n-osborne
October 24, 2023 09:50 14m 24s main
main
October 24, 2023 09:50 14m 24s
Merge pull request #160 from shym/opam documentation #3: Commit bd3107b pushed by n-osborne
October 24, 2023 09:50 8m 21s main
main
October 24, 2023 09:50 8m 21s
Small documentation cleanup Build and test #125: Pull request #166 opened by n-osborne
October 24, 2023 09:33 14m 7s n-osborne:doc-fix
n-osborne:doc-fix
October 24, 2023 09:33 14m 7s
Update the OPAM packages Build and test #124: Pull request #160 synchronize by shym
October 24, 2023 07:59 12m 19s shym:opam
shym:opam
October 24, 2023 07:59 12m 19s
Update the OPAM packages Build and test #123: Pull request #160 synchronize by shym
October 24, 2023 07:34 17m 27s shym:opam
shym:opam
October 24, 2023 07:34 17m 27s
pages build and deployment pages-build-deployment #2: by github-pages bot
October 23, 2023 17:41 37s
October 23, 2023 17:41 37s