Skip to content

Actions: ocaml-gospel/ortac

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use more idiomatic specifications Build and test #50: Pull request #148 opened by shym
September 26, 2023 17:26 11m 25s shym:idiomatic
shym:idiomatic
September 26, 2023 17:26 11m 25s
Documentation/tutorial for ortac-stm plugin Build and test #49: Pull request #141 synchronize by n-osborne
September 26, 2023 14:19 9m 2s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
September 26, 2023 14:19 9m 2s
Merge pull request #146 from shym/pure Build and test #48: Commit 5ea9542 pushed by n-osborne
September 25, 2023 14:35 11m 8s main
main
September 25, 2023 14:35 11m 8s
Add pure OCaml and ghost functions to the context Build and test #47: Pull request #146 opened by shym
September 22, 2023 17:54 11m 26s shym:pure
shym:pure
September 22, 2023 17:54 11m 26s
Merge pull request #122 from shym/warnings Build and test #46: Commit 22cea58 pushed by n-osborne
September 22, 2023 09:28 11m 33s main
main
September 22, 2023 09:28 11m 33s
Cleanup QCheck-STM warnings Build and test #45: Pull request #122 synchronize by shym
September 21, 2023 17:02 12m 39s shym:warnings
shym:warnings
September 21, 2023 17:02 12m 39s
Cleanup QCheck-STM warnings Build and test #44: Pull request #122 synchronize by shym
September 21, 2023 17:02 9m 33s shym:warnings
shym:warnings
September 21, 2023 17:02 9m 33s
Cleanup QCheck-STM warnings Build and test #43: Pull request #122 synchronize by shym
September 21, 2023 16:58 11m 21s shym:warnings
shym:warnings
September 21, 2023 16:58 11m 21s
handle returned tuple Build and test #42: Pull request #145 opened by n-osborne
September 21, 2023 13:35 8m 37s n-osborne:handle_returned_tuple
n-osborne:handle_returned_tuple
September 21, 2023 13:35 8m 37s
Cleanup QCheck-STM warnings Build and test #41: Pull request #122 synchronize by shym
September 21, 2023 13:13 11m 28s shym:warnings
shym:warnings
September 21, 2023 13:13 11m 28s
Cleanup QCheck-STM warnings Build and test #40: Pull request #122 synchronize by shym
September 21, 2023 12:34 11m 57s shym:warnings
shym:warnings
September 21, 2023 12:34 11m 57s
Cleanup QCheck-STM warnings Build and test #39: Pull request #122 synchronize by shym
September 21, 2023 12:26 11m 35s shym:warnings
shym:warnings
September 21, 2023 12:26 11m 35s
Reject clauses that involves returned sut for init_state Build and test #38: Pull request #144 opened by n-osborne
September 21, 2023 12:18 12m 18s n-osborne:fix_init_state
n-osborne:fix_init_state
September 21, 2023 12:18 12m 18s
Cleanup QCheck-STM warnings Build and test #37: Pull request #122 synchronize by shym
September 21, 2023 11:43 11m 56s shym:warnings
shym:warnings
September 21, 2023 11:43 11m 56s
Cleanup QCheck-STM warnings Build and test #36: Pull request #122 synchronize by shym
September 20, 2023 17:39 11m 46s shym:warnings
shym:warnings
September 20, 2023 17:39 11m 46s
Cleanup QCheck-STM warnings Build and test #35: Pull request #122 synchronize by shym
September 20, 2023 14:40 11m 47s shym:warnings
shym:warnings
September 20, 2023 14:40 11m 47s
Cleanup QCheck-STM warnings Build and test #34: Pull request #122 synchronize by shym
September 20, 2023 14:15 11m 46s shym:warnings
shym:warnings
September 20, 2023 14:15 11m 46s
Documentation/tutorial for ortac-stm plugin Build and test #33: Pull request #141 opened by n-osborne
September 20, 2023 14:06 10m 46s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
September 20, 2023 14:06 10m 46s
Merge pull request #139 from n-osborne/stm-add-warnings Build and test #32: Commit df2e81e pushed by n-osborne
September 20, 2023 12:32 12m 40s main
main
September 20, 2023 12:32 12m 40s
Cleanup QCheck-STM warnings Build and test #31: Pull request #122 synchronize by shym
September 20, 2023 12:08 14m 14s shym:warnings
shym:warnings
September 20, 2023 12:08 14m 14s
Disable warnings in generated code Build and test #30: Pull request #139 synchronize by n-osborne
September 20, 2023 11:58 11m 46s n-osborne:stm-add-warnings
n-osborne:stm-add-warnings
September 20, 2023 11:58 11m 46s
Disable warnings in generated code Build and test #29: Pull request #139 synchronize by n-osborne
September 19, 2023 18:00 11m 47s n-osborne:stm-add-warnings
n-osborne:stm-add-warnings
September 19, 2023 18:00 11m 47s
Merge pull request #140 from shym/cram-dynlink Build and test #28: Commit 5dc2443 pushed by n-osborne
September 19, 2023 17:58 11m 46s main
main
September 19, 2023 17:58 11m 46s
Load only the QCheck-STM plugin in its cram tests Build and test #27: Pull request #140 opened by shym
September 19, 2023 16:38 13m 46s shym:cram-dynlink
shym:cram-dynlink
September 19, 2023 16:38 13m 46s
Merge pull request #137 from n-osborne/stm-output-option Build and test #26: Commit 310d048 pushed by shym
September 19, 2023 16:34 13m 25s main
main
September 19, 2023 16:34 13m 25s