Skip to content

Actions: anoma/juvix-quickcheck

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to stdlib v0.8.0 (#19) QuickTest tests #110: Commit 30ddbb6 pushed by paulcadman
November 7, 2024 17:15 21s v0.16.0
v0.16.0
November 7, 2024 17:15 21s
Update to stdlib v0.8.0 (#19) QuickTest tests #109: Commit 30ddbb6 pushed by paulcadman
November 7, 2024 17:14 23s main
main
November 7, 2024 17:14 23s
Update to stdlib v0.8.0 QuickTest tests #108: Commit 4dc9636 pushed by paulcadman
November 7, 2024 17:13 22s update-stdlib-v0.8.0
update-stdlib-v0.8.0
November 7, 2024 17:13 22s
update to new record update scoping rules (#18) QuickTest tests #107: Commit b28c74a pushed by paulcadman
November 4, 2024 16:27 25s main
main
November 4, 2024 16:27 25s
update to new record update scoping rules QuickTest tests #106: Commit 41daf19 pushed by lukaszcz
November 4, 2024 12:07 27s record-syntax-update
record-syntax-update
November 4, 2024 12:07 27s
Update stdlib dependency QuickTest tests #105: Commit 4242b86 pushed by paulcadman
October 11, 2024 15:06 26s main
main
October 11, 2024 15:06 26s
Update test.yaml QuickTest tests #104: Commit 3b07a8d pushed by lukaszcz
October 9, 2024 16:25 29s main
main
October 9, 2024 16:25 29s
Update Package.juvix QuickTest tests #103: Commit 9587918 pushed by lukaszcz
October 9, 2024 16:20 16s main
main
October 9, 2024 16:20 16s
Update README.md QuickTest tests #102: Commit 726698e pushed by lukaszcz
October 9, 2024 16:00 24s main
main
October 9, 2024 16:00 24s
Update to stdlib 0.7.0 (#17) QuickTest tests #101: Commit 6e6a5f3 pushed by paulcadman
September 3, 2024 18:53 19s v0.15.0
v0.15.0
September 3, 2024 18:53 19s
Update to stdlib 0.7.0 (#17) QuickTest tests #100: Commit 6e6a5f3 pushed by paulcadman
September 3, 2024 18:52 29s main
main
September 3, 2024 18:52 29s
Update to stdlib 0.7.0 QuickTest tests #99: Commit 982399c pushed by paulcadman
September 3, 2024 18:52 29s release-0.15.0
release-0.15.0
September 3, 2024 18:52 29s
Update to point to stdlib monad branch QuickTest tests #98: Commit b398d3c pushed by paulcadman
August 22, 2024 10:04 22s monad-compat
monad-compat
August 22, 2024 10:04 22s
Update stdlib for monad compat QuickTest tests #97: Commit 48bd646 pushed by paulcadman
August 21, 2024 09:56 20s monad-compat
monad-compat
August 21, 2024 09:56 20s
Update for applicative branch QuickTest tests #96: Commit 104c749 pushed by paulcadman
August 21, 2024 07:38 26s applicative-compat
applicative-compat
August 21, 2024 07:38 26s
Update for Juvix 0.6.5 (#16) QuickTest tests #95: Commit 72a517d pushed by paulcadman
August 21, 2024 07:31 23s v0.14.0
v0.14.0
August 21, 2024 07:31 23s
Update to new stdlib QuickTest tests #94: Commit 9795e99 pushed by paulcadman
August 21, 2024 07:30 24s FromNatural-compat
FromNatural-compat
August 21, 2024 07:30 24s
Update for Juvix 0.6.5 (#16) QuickTest tests #93: Commit 72a517d pushed by paulcadman
August 21, 2024 07:30 23s main
main
August 21, 2024 07:30 23s
Update to new stdlib QuickTest tests #92: Commit 9795e99 pushed by paulcadman
August 21, 2024 07:29 20s FromNatural-compat
FromNatural-compat
August 21, 2024 07:29 20s
Update juvix-stdlib with changes to FromNatural QuickTest tests #91: Commit eca0d10 pushed by paulcadman
August 1, 2024 08:40 17s FromNatural-compat
FromNatural-compat
August 1, 2024 08:40 17s
Release 0.13.0 (#15) QuickTest tests #90: Commit 49ceec7 pushed by paulcadman
July 19, 2024 13:22 21s v0.13.0
v0.13.0
July 19, 2024 13:22 21s
Release 0.13.0 (#15) QuickTest tests #89: Commit 49ceec7 pushed by paulcadman
July 19, 2024 13:21 20s main
main
July 19, 2024 13:21 20s
Release 0.13.0 QuickTest tests #88: Commit c1693b9 pushed by paulcadman
July 19, 2024 13:20 33s release-0.13.0
release-0.13.0
July 19, 2024 13:20 33s
Rename QuickCheck Result to Outcome QuickTest tests #87: Commit 8e5d496 pushed by paulcadman
July 10, 2024 10:21 19s update-stdlib-either
update-stdlib-either
July 10, 2024 10:21 19s
Add Arbitrary for Maybe and Either QuickTest tests #86: Commit 714f0b9 pushed by paulcadman
July 9, 2024 14:03 19s update-stdlib-either
update-stdlib-either
July 9, 2024 14:03 19s