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

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
Merge pull request #164 from shym/readme documentation #2: Commit 861bb5f pushed by n-osborne
October 23, 2023 17:36 8m 4s main
main
October 23, 2023 17:36 8m 4s
Merge pull request #164 from shym/readme Build and test #122: Commit 861bb5f pushed by n-osborne
October 23, 2023 17:36 13m 51s main
main
October 23, 2023 17:36 13m 51s
Minor updates to the README Build and test #121: Pull request #164 opened by shym
October 23, 2023 17:18 12m 19s shym:readme
shym:readme
October 23, 2023 17:18 12m 19s
Update the OPAM packages Build and test #120: Pull request #160 synchronize by shym
October 23, 2023 17:09 18m 0s shym:opam
shym:opam
October 23, 2023 17:09 18m 0s
pages build and deployment pages-build-deployment #1: by n-osborne
October 23, 2023 17:03 41s
October 23, 2023 17:03 41s
Merge pull request #161 from n-osborne/publish-doc documentation #1: Commit f4604b8 pushed by n-osborne
October 23, 2023 16:41 13m 10s main
main
October 23, 2023 16:41 13m 10s
Merge pull request #161 from n-osborne/publish-doc Build and test #119: Commit f4604b8 pushed by n-osborne
October 23, 2023 16:41 12m 3s main
main
October 23, 2023 16:41 12m 3s
Add a worflow to deploy documentation Build and test #118: Pull request #161 synchronize by n-osborne
October 23, 2023 16:23 14m 24s n-osborne:publish-doc
n-osborne:publish-doc
October 23, 2023 16:23 14m 24s
Merge pull request #163 from shym/dune-gen Build and test #117: Commit 64abe30 pushed by n-osborne
October 23, 2023 16:20 12m 14s main
main
October 23, 2023 16:20 12m 14s
Add a worflow to deploy documentation Build and test #116: Pull request #161 synchronize by n-osborne
October 23, 2023 16:07 10m 34s n-osborne:publish-doc
n-osborne:publish-doc
October 23, 2023 16:07 10m 34s
Generate the boiler-plate dune config for QCheck-STM tests Build and test #115: Pull request #163 synchronize by shym
October 23, 2023 16:03 15m 11s shym:dune-gen
shym:dune-gen
October 23, 2023 16:03 15m 11s
Merge pull request #158 from shym/tystdlib Build and test #114: Commit 83cfd5c pushed by n-osborne
October 23, 2023 11:42 9m 18s main
main
October 23, 2023 11:42 9m 18s
Merge pull request #162 from shym/display-name Build and test #113: Commit 40f13d3 pushed by n-osborne
October 23, 2023 11:37 12m 21s main
main
October 23, 2023 11:37 12m 21s
Display the name of the tested module in the test run Build and test #112: Pull request #162 opened by shym
October 23, 2023 10:49 14m 9s shym:display-name
shym:display-name
October 23, 2023 10:49 14m 9s
Translate types of the Gospelstdlib Build and test #111: Pull request #158 synchronize by shym
October 23, 2023 10:16 12m 47s shym:tystdlib
shym:tystdlib
October 23, 2023 10:16 12m 47s
Update the OPAM packages Build and test #110: Pull request #160 synchronize by shym
October 23, 2023 10:07 16m 53s shym:opam
shym:opam
October 23, 2023 10:07 16m 53s
Add a worflow to deploy documentation Build and test #109: Pull request #161 opened by n-osborne
October 23, 2023 09:18 15m 7s n-osborne:publish-doc
n-osborne:publish-doc
October 23, 2023 09:18 15m 7s
Translate types of the Gospelstdlib Build and test #108: Pull request #158 synchronize by shym
October 20, 2023 14:38 14m 24s shym:tystdlib
shym:tystdlib
October 20, 2023 14:38 14m 24s
Update the OPAM packages Build and test #107: Pull request #160 opened by shym
October 19, 2023 16:10 16m 54s shym:opam
shym:opam
October 19, 2023 16:10 16m 54s
Translate types of the Gospelstdlib Build and test #106: Pull request #158 opened by shym
October 19, 2023 16:02 12m 5s shym:tystdlib
shym:tystdlib
October 19, 2023 16:02 12m 5s
Merge pull request #157 from shym/partial-spec Build and test #105: Commit 682ee86 pushed by n-osborne
October 19, 2023 14:07 14m 47s main
main
October 19, 2023 14:07 14m 47s
Add a Partial_specification exception to the runtime and use it in the QCheck-STM plugin Build and test #104: Pull request #157 synchronize by shym
October 19, 2023 13:52 13m 55s shym:partial-spec
shym:partial-spec
October 19, 2023 13:52 13m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-10-19 or the other filters available.