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

Documentation/tutorial for ortac-stm plugin Build and test #75: Pull request #141 synchronize by n-osborne
October 13, 2023 08:36 12m 47s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 13, 2023 08:36 12m 47s
Documentation/tutorial for ortac-stm plugin Build and test #74: Pull request #141 synchronize by n-osborne
October 13, 2023 08:05 10m 33s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 13, 2023 08:05 10m 33s
Documentation/tutorial for ortac-stm plugin Build and test #73: Pull request #141 synchronize by n-osborne
October 12, 2023 08:17 10m 1s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 12, 2023 08:17 10m 1s
Documentation/tutorial for ortac-stm plugin Build and test #72: Pull request #141 synchronize by n-osborne
October 11, 2023 09:50 9m 51s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 11, 2023 09:50 9m 51s
Documentation/tutorial for ortac-stm plugin Build and test #71: Pull request #141 synchronize by n-osborne
October 11, 2023 09:25 9m 55s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 11, 2023 09:25 9m 55s
Documentation/tutorial for ortac-stm plugin Build and test #70: Pull request #141 synchronize by n-osborne
October 11, 2023 08:59 10m 41s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 11, 2023 08:59 10m 41s
Documentation/tutorial for ortac-stm plugin Build and test #69: Pull request #141 synchronize by n-osborne
October 11, 2023 08:55 11m 50s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 11, 2023 08:55 11m 50s
Documentation/tutorial for ortac-stm plugin Build and test #68: Pull request #141 synchronize by n-osborne
October 11, 2023 08:39 11m 45s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 11, 2023 08:39 11m 45s
Documentation/tutorial for ortac-stm plugin Build and test #67: Pull request #141 synchronize by n-osborne
October 11, 2023 08:14 9m 30s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 11, 2023 08:14 9m 30s
Adapt warning message for ensures not found Build and test #66: Pull request #152 synchronize by n-osborne
October 11, 2023 08:07 13m 14s n-osborne:next-state-wrn-msg
n-osborne:next-state-wrn-msg
October 11, 2023 08:07 13m 14s
Merge pull request #154 from n-osborne/update-gospel-version Build and test #65: Commit 76099bd pushed by n-osborne
October 11, 2023 08:06 14m 7s main
main
October 11, 2023 08:06 14m 7s
Update opam files in perspective of the release Build and test #64: Pull request #154 synchronize by n-osborne
October 11, 2023 07:26 16m 21s n-osborne:update-gospel-version
n-osborne:update-gospel-version
October 11, 2023 07:26 16m 21s
Update opam files in perspective of the release Build and test #63: Pull request #154 opened by n-osborne
October 11, 2023 07:21 10m 30s n-osborne:update-gospel-version
n-osborne:update-gospel-version
October 11, 2023 07:21 10m 30s
Documentation/tutorial for ortac-stm plugin Build and test #62: Pull request #141 synchronize by n-osborne
October 10, 2023 15:51 10m 15s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 10, 2023 15:51 10m 15s
handle returned tuple Build and test #61: Pull request #145 synchronize by n-osborne
October 9, 2023 13:41 12m 48s n-osborne:handle_returned_tuple
n-osborne:handle_returned_tuple
October 9, 2023 13:41 12m 48s
Adapt warning message for ensures not found Build and test #60: Pull request #152 opened by n-osborne
October 9, 2023 11:53 13m 51s n-osborne:next-state-wrn-msg
n-osborne:next-state-wrn-msg
October 9, 2023 11:53 13m 51s
Documentation/tutorial for ortac-stm plugin Build and test #59: Pull request #141 synchronize by n-osborne
October 9, 2023 10:55 10m 46s n-osborne:stm-plugin-documentation
n-osborne:stm-plugin-documentation
October 9, 2023 10:55 10m 46s
handle returned tuple Build and test #58: Pull request #145 synchronize by n-osborne
October 6, 2023 16:14 10m 15s n-osborne:handle_returned_tuple
n-osborne:handle_returned_tuple
October 6, 2023 16:14 10m 15s
handle returned tuple Build and test #57: Pull request #145 synchronize by n-osborne
October 3, 2023 14:33 9m 24s n-osborne:handle_returned_tuple
n-osborne:handle_returned_tuple
October 3, 2023 14:33 9m 24s
Reject clauses that involves returned sut for init_state Build and test #56: Pull request #144 synchronize by n-osborne
October 3, 2023 09:51 13m 43s n-osborne:fix_init_state
n-osborne:fix_init_state
October 3, 2023 09:51 13m 43s
Reject clauses that involves returned sut for init_state Build and test #55: Pull request #144 synchronize by n-osborne
October 2, 2023 15:22 11m 57s n-osborne:fix_init_state
n-osborne:fix_init_state
October 2, 2023 15:22 11m 57s
Reject clauses that involves returned sut for init_state Build and test #54: Pull request #144 synchronize by n-osborne
October 2, 2023 15:17 11m 32s n-osborne:fix_init_state
n-osborne:fix_init_state
October 2, 2023 15:17 11m 32s
Merge pull request #149 from shym/unify-sut Build and test #53: Commit baf59a8 pushed by shym
October 2, 2023 13:55 14m 22s main
main
October 2, 2023 13:55 14m 22s
Merge pull request #148 from shym/idiomatic Build and test #52: Commit 0a72676 pushed by n-osborne
September 28, 2023 09:43 11m 38s main
main
September 28, 2023 09:43 11m 38s
Distinguish SUT-type unification errors Build and test #51: Pull request #149 opened by shym
September 27, 2023 11:47 13m 16s shym:unify-sut
shym:unify-sut
September 27, 2023 11:47 13m 16s