Skip to content

Actions: input-output-hk/quickcheck-dynamic

Actions

CI

Actions

Loading...

Show workflow options

Create status badge

ci.yaml
210 workflow runs
210 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
update changelog CI #351: Commit 9ab580a pushed by MaximilianAlgehed
May 24, 2024 08:45 2m 26s main
main
May 24, 2024 08:45 2m 26s
Move Error state to RunModel CI #350: Pull request #80 synchronize by MaximilianAlgehed
May 24, 2024 08:40 2m 24s PR-error-to-runmodel
PR-error-to-runmodel
May 24, 2024 08:40 2m 24s
Move Error state to RunModel CI #349: Pull request #80 synchronize by MaximilianAlgehed
May 24, 2024 08:39 2m 31s PR-error-to-runmodel
PR-error-to-runmodel
May 24, 2024 08:39 2m 31s
Move Error state to RunModel CI #348: Pull request #80 opened by MaximilianAlgehed
May 24, 2024 07:39 4m 41s PR-error-to-runmodel
PR-error-to-runmodel
May 24, 2024 07:39 4m 41s
postcondition is now Postcondition m CI #347: Pull request #79 synchronize by jasagredo
April 25, 2024 12:47 2m 33s jasagredo:js/post3
jasagredo:js/post3
April 25, 2024 12:47 2m 33s
postcondition is now Postcondition m CI #346: Pull request #79 opened by jasagredo
April 25, 2024 12:41 2m 54s jasagredo:js/post3
jasagredo:js/post3
April 25, 2024 12:41 2m 54s
Define phases of execution CI #345: Pull request #78 opened by jasagredo
April 23, 2024 09:19 3m 47s jasagredo:js/phases
jasagredo:js/phases
April 23, 2024 09:19 3m 47s
postcondition is Property CI #344: Pull request #77 synchronize by jasagredo
April 23, 2024 08:46 2m 52s jasagredo:js/postcondition-is-property
jasagredo:js/postcondition-is-property
April 23, 2024 08:46 2m 52s
postcondition is Property CI #343: Pull request #77 synchronize by jasagredo
April 23, 2024 08:41 2m 47s jasagredo:js/postcondition-is-property
jasagredo:js/postcondition-is-property
April 23, 2024 08:41 2m 47s
postcondition is Property CI #342: Pull request #77 opened by jasagredo
April 22, 2024 14:41 3m 12s jasagredo:js/postcondition-is-property
jasagredo:js/postcondition-is-property
April 22, 2024 14:41 3m 12s
remove Realized (#76) CI #341: Commit b50a995 pushed by abailly-iohk
April 17, 2024 13:51 2m 50s main
main
April 17, 2024 13:51 2m 50s
remove Realized CI #340: Pull request #76 synchronize by MaximilianAlgehed
April 17, 2024 12:30 2m 42s PR-remove-Realized
PR-remove-Realized
April 17, 2024 12:30 2m 42s
remove Realized CI #339: Pull request #76 synchronize by MaximilianAlgehed
April 17, 2024 11:18 3m 12s PR-remove-Realized
PR-remove-Realized
April 17, 2024 11:18 3m 12s
remove Realized CI #338: Pull request #76 synchronize by MaximilianAlgehed
April 11, 2024 10:01 2m 38s PR-remove-Realized
PR-remove-Realized
April 11, 2024 10:01 2m 38s
remove Realized CI #337: Pull request #76 synchronize by MaximilianAlgehed
April 11, 2024 09:56 3m 28s PR-remove-Realized
PR-remove-Realized
April 11, 2024 09:56 3m 28s
remove Realized CI #336: Pull request #76 opened by MaximilianAlgehed
April 11, 2024 09:51 2m 40s PR-remove-Realized
PR-remove-Realized
April 11, 2024 09:51 2m 40s
Document how generated test cases are validated (#75) CI #335: Commit 25bac1a pushed by abailly-iohk
April 5, 2024 13:13 2m 46s main
main
April 5, 2024 13:13 2m 46s
Document how generated test cases are validated CI #334: Pull request #75 synchronize by abailly-iohk
April 5, 2024 10:00 2m 23s test-discard
test-discard
April 5, 2024 10:00 2m 23s
Document how generated test cases are validated CI #333: Pull request #75 opened by abailly-iohk
April 5, 2024 09:35 3m 33s test-discard
test-discard
April 5, 2024 09:35 3m 33s
Add a haddock to mkVar CI #332: Pull request #74 opened by ch1bo
April 5, 2024 08:11 2m 53s add-mkVar-haddock
add-mkVar-haddock
April 5, 2024 08:11 2m 53s
An attempt at better documentation for q-d CI #331: Pull request #73 opened by abailly-iohk
April 4, 2024 09:24 2m 37s circular-buffer-simple
circular-buffer-simple
April 4, 2024 09:24 2m 37s
First draft of parallel state machines CI #330: Pull request #72 synchronize by jasagredo
April 2, 2024 13:05 48m 36s jasagredo:js/parallel-state-machines
jasagredo:js/parallel-state-machines
April 2, 2024 13:05 48m 36s
First draft of parallel state machines CI #329: Pull request #72 opened by jasagredo
April 2, 2024 12:25 3h 47m 47s jasagredo:js/parallel-state-machines
jasagredo:js/parallel-state-machines
April 2, 2024 12:25 3h 47m 47s
Prepare for release 3.4.1 CI #328: Commit 3187fd0 pushed by abailly-iohk
March 22, 2024 10:54 3m 2s main
main
March 22, 2024 10:54 3m 2s
Refactor runActions to distinguish more clearly various cases (#71) CI #327: Commit ae5d642 pushed by abailly-iohk
March 18, 2024 12:36 2m 28s main
main
March 18, 2024 12:36 2m 28s