Skip to content

Actions: n-osborne/ortac

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
382 workflow runs
382 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Changelog Build and test #207: Commit 0d75a32 pushed by n-osborne
February 23, 2024 09:22 4m 22s print-runnable-scenario
print-runnable-scenario
February 23, 2024 09:22 4m 22s
Update Changelog Build and test #206: Commit a182c0f pushed by n-osborne
February 23, 2024 09:20 4m 22s print-runnable-scenario
print-runnable-scenario
February 23, 2024 09:20 4m 22s
Update Changelog Build and test #205: Commit e54ff29 pushed by n-osborne
February 22, 2024 13:43 6m 20s print-runnable-scenario
print-runnable-scenario
February 22, 2024 13:43 6m 20s
Make ortac_postcond also return the computed returned value Build and test #204: Commit 1057ca9 pushed by n-osborne
February 21, 2024 16:39 4m 59s print-runnable-scenario
print-runnable-scenario
February 21, 2024 16:39 4m 59s
wip Build and test #203: Commit 8164e85 pushed by n-osborne
February 21, 2024 11:10 7m 57s print-runnable-scenario
print-runnable-scenario
February 21, 2024 11:10 7m 57s
Add documentation for Ortac/Dune Build and test #202: Commit bd3db23 pushed by n-osborne
February 20, 2024 15:37 4m 41s dune-plugin-documentation
dune-plugin-documentation
February 20, 2024 15:37 4m 41s
Update Changelog Build and test #201: Commit f490ab5 pushed by n-osborne
February 20, 2024 08:41 4m 42s failure-message
failure-message
February 20, 2024 08:41 4m 42s
Runnable example Build and test #200: Commit 8d31a05 pushed by n-osborne
February 19, 2024 14:00 8m 39s failure-message-example
failure-message-example
February 19, 2024 14:00 8m 39s
Add documentation for Ortac/Dune Build and test #199: Commit ea7cd7b pushed by n-osborne
February 19, 2024 08:54 4m 45s dune-plugin-documentation
dune-plugin-documentation
February 19, 2024 08:54 4m 45s
Update Changelog Build and test #198: Commit 94fefd5 pushed by n-osborne
February 15, 2024 16:28 4m 40s failure-message
failure-message
February 15, 2024 16:28 4m 40s
Add a runtime for qcheck-stm Build and test #197: Commit c5d2a8b pushed by n-osborne
February 15, 2024 16:05 4m 52s failure-message
failure-message
February 15, 2024 16:05 4m 52s
Add documentation for Ortac/Dune Build and test #196: Commit 501aef4 pushed by n-osborne
February 14, 2024 15:26 9m 6s dune-plugin-documentation
dune-plugin-documentation
February 14, 2024 15:26 9m 6s
Add a runtime for qcheck-stm Build and test #195: Commit 905e461 pushed by n-osborne
February 14, 2024 13:33 4m 35s failure-message
failure-message
February 14, 2024 13:33 4m 35s
Add a runtime for qcheck-stm Build and test #194: Commit 1d4dc39 pushed by n-osborne
February 13, 2024 15:12 6m 2s failure-message
failure-message
February 13, 2024 15:12 6m 2s
Add a runtime for qcheck-stm Build and test #193: Commit c36a1a6 pushed by n-osborne
February 13, 2024 11:50 5m 41s failure-message
failure-message
February 13, 2024 11:50 5m 41s
Update Changelog Build and test #192: Commit 5bf542e pushed by n-osborne
February 13, 2024 09:19 7m 6s qcheck-stm-with-invariants
qcheck-stm-with-invariants
February 13, 2024 09:19 7m 6s
[WIP] Add a runtime for qcheck-stm Build and test #191: Commit 32b7d69 pushed by n-osborne
February 12, 2024 15:32 5m 28s failure-message
failure-message
February 12, 2024 15:32 5m 28s
Make postcond return the reason of failure rather than a bool Build and test #190: Commit c801fac pushed by n-osborne
February 9, 2024 16:46 7m 50s failure-message
failure-message
February 9, 2024 16:46 7m 50s
Update Changelog and add README Build and test #189: Commit 784aa03 pushed by n-osborne
February 9, 2024 16:42 5m 4s ortac-dune
ortac-dune
February 9, 2024 16:42 5m 4s
Update plugins/dune-rules/src/qcheck_stm.ml Build and test #188: Commit 044a1cb pushed by n-osborne
February 9, 2024 16:28 4m 5s ortac-dune
ortac-dune
February 9, 2024 16:28 4m 5s
Update Changelog Build and test #187: Commit 11c3244 pushed by n-osborne
February 9, 2024 16:27 4m 34s qcheck-stm-with-invariants
qcheck-stm-with-invariants
February 9, 2024 16:27 4m 34s
Update Changelog Build and test #186: Commit aed68ff pushed by n-osborne
February 9, 2024 16:22 4m 24s qcheck-stm-with-invariants
qcheck-stm-with-invariants
February 9, 2024 16:22 4m 24s
Make postcond return the reason of failure rather than a bool Build and test #185: Commit 627b26f pushed by n-osborne
February 9, 2024 16:20 4m 11s qcheck-stm-with-invariants
qcheck-stm-with-invariants
February 9, 2024 16:20 4m 11s
Add a comment at BOF warning that it is a generated file Build and test #184: Commit 02b72d8 pushed by n-osborne
February 8, 2024 21:59 5m 43s add-warning-at-bof
add-warning-at-bof
February 8, 2024 21:59 5m 43s
Update Changelog Build and test #183: Commit aed68ff pushed by n-osborne
February 8, 2024 21:45 4m 49s qcheck-stm-with-invariants
qcheck-stm-with-invariants
February 8, 2024 21:45 4m 49s