Skip to content

Actions: ocaml-gospel/ortac

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
904 workflow runs
904 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add a Partial_specification exception to the runtime and use it in the QCheck-STM plugin Build and test #103: Pull request #157 synchronize by shym
October 19, 2023 10:28 12m 50s shym:partial-spec
shym:partial-spec
October 19, 2023 10:28 12m 50s
Add a Partial_specification exception to the runtime and use it in the QCheck-STM plugin Build and test #102: Pull request #157 opened by shym
October 19, 2023 10:10 14m 44s shym:partial-spec
shym:partial-spec
October 19, 2023 10:10 14m 44s
Merge pull request #141 from n-osborne/stm-plugin-documentation Build and test #101: Commit 5ae8426 pushed by shym
October 19, 2023 09:07 15m 5s main
main
October 19, 2023 09:07 15m 5s
Documentation/tutorial for ortac-stm plugin Build and test #100: Pull request #141 synchronize by n-osborne
October 18, 2023 18:19 12m 42s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 18, 2023 18:19 12m 42s
Documentation/tutorial for ortac-stm plugin Build and test #99: Pull request #141 synchronize by n-osborne
October 18, 2023 18:08 12m 38s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 18, 2023 18:08 12m 38s
Documentation/tutorial for ortac-stm plugin Build and test #98: Pull request #141 synchronize by n-osborne
October 18, 2023 18:07 12m 28s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 18, 2023 18:07 12m 28s
Merge pull request #144 from n-osborne/fix_init_state Build and test #97: Commit 4fa453a pushed by n-osborne
October 18, 2023 17:01 15m 11s main
main
October 18, 2023 17:01 15m 11s
Reject clauses that involves returned sut for init_state Build and test #96: Pull request #144 synchronize by n-osborne
October 18, 2023 14:41 14m 52s n-osborne:fix_init_state
n-osborne:fix_init_state
October 18, 2023 14:41 14m 52s
Documentation/tutorial for ortac-stm plugin Build and test #95: Pull request #141 synchronize by n-osborne
October 18, 2023 14:37 13m 4s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 18, 2023 14:37 13m 4s
Reject clauses that involves returned sut for init_state Build and test #94: Pull request #144 synchronize by n-osborne
October 18, 2023 13:11 14m 46s n-osborne:fix_init_state
n-osborne:fix_init_state
October 18, 2023 13:11 14m 46s
Documentation/tutorial for ortac-stm plugin Build and test #93: Pull request #141 synchronize by n-osborne
October 18, 2023 13:10 9m 13s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 18, 2023 13:10 9m 13s
Reject clauses that involves returned sut for init_state Build and test #92: Pull request #144 synchronize by n-osborne
October 18, 2023 12:59 13m 45s n-osborne:fix_init_state
n-osborne:fix_init_state
October 18, 2023 12:59 13m 45s
Documentation/tutorial for ortac-stm plugin Build and test #91: Pull request #141 synchronize by n-osborne
October 18, 2023 12:48 13m 9s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 18, 2023 12:48 13m 9s
Merge pull request #145 from n-osborne/handle_returned_tuple Build and test #90: Commit ccb849f pushed by n-osborne
October 18, 2023 12:46 11m 58s main
main
October 18, 2023 12:46 11m 58s
Documentation/tutorial for ortac-stm plugin Build and test #89: Pull request #141 synchronize by n-osborne
October 18, 2023 12:40 11m 17s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 18, 2023 12:40 11m 17s
handle returned tuple Build and test #88: Pull request #145 synchronize by n-osborne
October 18, 2023 11:55 12m 9s n-osborne:handle_returned_tuple
n-osborne:handle_returned_tuple
October 18, 2023 11:55 12m 9s
Merge pull request #152 from n-osborne/next-state-wrn-msg Build and test #87: Commit 5d15470 pushed by n-osborne
October 18, 2023 07:51 14m 49s main
main
October 18, 2023 07:51 14m 49s
handle returned tuple Build and test #86: Pull request #145 synchronize by shym
October 17, 2023 15:57 12m 20s n-osborne:handle_returned_tuple
n-osborne:handle_returned_tuple
October 17, 2023 15:57 12m 20s
Adapt warning message for ensures not found Build and test #85: Pull request #152 synchronize by shym
October 17, 2023 15:39 14m 38s n-osborne:next-state-wrn-msg
n-osborne:next-state-wrn-msg
October 17, 2023 15:39 14m 38s
Adapt warning message for ensures not found Build and test #84: Pull request #152 synchronize by shym
October 17, 2023 15:32 12m 17s n-osborne:next-state-wrn-msg
n-osborne:next-state-wrn-msg
October 17, 2023 15:32 12m 17s
Merge pull request #156 from n-osborne/conjunctive-clauses Build and test #83: Commit df6e4bd pushed by n-osborne
October 17, 2023 07:03 14m 48s main
main
October 17, 2023 07:03 14m 48s
Explore conjunctive clauses Build and test #82: Pull request #156 synchronize by n-osborne
October 16, 2023 14:49 12m 28s n-osborne:conjunctive-clauses
n-osborne:conjunctive-clauses
October 16, 2023 14:49 12m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.