Skip to content

Actions: stevana/quickcheck-state-machine

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #52 from erikd/master main #64: Commit bd69ea7 pushed by stevana
September 5, 2024 07:01 18m 34s master
master
September 5, 2024 07:01 18m 34s
Bump outdated dependencies main #63: Pull request #52 synchronize by erikd
September 5, 2024 06:08 39m 47s erikd:master
erikd:master
September 5, 2024 06:08 39m 47s
Bump outdated dependencies main #62: Pull request #52 synchronize by erikd
September 5, 2024 05:47 34m 46s erikd:master
erikd:master
September 5, 2024 05:47 34m 46s
Bump outdated dependencies main #61: Pull request #52 synchronize by erikd
September 5, 2024 02:42 49m 35s erikd:master
erikd:master
September 5, 2024 02:42 49m 35s
Bump outdated dependencies main #60: Pull request #52 opened by erikd
September 5, 2024 02:41 1h 3m 46s erikd:master
erikd:master
September 5, 2024 02:41 1h 3m 46s
Use io-classes instead of unliftio main #59: Pull request #50 synchronize by jasagredo
June 19, 2024 09:07 38m 23s jasagredo:js/io-classes
jasagredo:js/io-classes
June 19, 2024 09:07 38m 23s
Use io-classes instead of unliftio main #58: Pull request #50 opened by jasagredo
June 18, 2024 15:16 38m 4s jasagredo:js/io-classes
jasagredo:js/io-classes
June 18, 2024 15:16 38m 4s
Merge pull request #48 from jasagredo/js/release-0.10.0 main #57: Commit a68b55b pushed by stevana
May 28, 2024 11:27 32m 23s master
master
May 28, 2024 11:27 32m 23s
Release version 0.10.0 main #56: Pull request #48 synchronize by jasagredo
May 28, 2024 11:21 13m 0s jasagredo:js/release-0.10.0
jasagredo:js/release-0.10.0
May 28, 2024 11:21 13m 0s
Merge pull request #49 from jasagredo/js/pp-and-forall main #55: Commit af5a2bb pushed by stevana
May 28, 2024 11:03 31m 14s master
master
May 28, 2024 11:03 31m 14s
Release version 0.10.0 main #54: Pull request #48 synchronize by jasagredo
May 28, 2024 09:50 23m 45s jasagredo:js/release-0.10.0
jasagredo:js/release-0.10.0
May 28, 2024 09:50 23m 45s
Use prettyprinter and rename forall to forAll main #53: Pull request #49 synchronize by jasagredo
May 28, 2024 09:47 1h 5m 13s jasagredo:js/pp-and-forall
jasagredo:js/pp-and-forall
May 28, 2024 09:47 1h 5m 13s
Use prettyprinter and rename forall to forAll main #52: Pull request #49 opened by jasagredo
May 28, 2024 09:46 56m 59s jasagredo:js/pp-and-forall
jasagredo:js/pp-and-forall
May 28, 2024 09:46 56m 59s
Update to GHC 9.10.1 main #51: Pull request #47 synchronize by jasagredo
May 28, 2024 09:36 55m 3s jasagredo:js/update-to-9.10
jasagredo:js/update-to-9.10
May 28, 2024 09:36 55m 3s
Update to GHC 9.10.1 main #50: Pull request #47 synchronize by jasagredo
May 28, 2024 09:33 1h 0m 13s jasagredo:js/update-to-9.10
jasagredo:js/update-to-9.10
May 28, 2024 09:33 1h 0m 13s
Update to GHC 9.10.1 main #49: Pull request #47 synchronize by jasagredo
May 28, 2024 09:29 34m 59s jasagredo:js/update-to-9.10
jasagredo:js/update-to-9.10
May 28, 2024 09:29 34m 59s
Update to GHC 9.10.1 main #48: Pull request #47 synchronize by jasagredo
May 28, 2024 09:25 47m 17s jasagredo:js/update-to-9.10
jasagredo:js/update-to-9.10
May 28, 2024 09:25 47m 17s
Update to GHC 9.10.1 main #47: Pull request #47 synchronize by jasagredo
May 28, 2024 09:20 43m 45s jasagredo:js/update-to-9.10
jasagredo:js/update-to-9.10
May 28, 2024 09:20 43m 45s
Release version 0.10.0 main #46: Pull request #48 synchronize by jasagredo
May 27, 2024 14:01 44m 37s jasagredo:js/release-0.10.0
jasagredo:js/release-0.10.0
May 27, 2024 14:01 44m 37s
Update to GHC 9.10.1 main #45: Pull request #47 synchronize by jasagredo
May 27, 2024 14:01 40m 24s jasagredo:js/update-to-9.10
jasagredo:js/update-to-9.10
May 27, 2024 14:01 40m 24s
Release version 0.10.0 main #44: Pull request #48 synchronize by jasagredo
May 27, 2024 13:57 41m 50s jasagredo:js/release-0.10.0
jasagredo:js/release-0.10.0
May 27, 2024 13:57 41m 50s
Update to GHC 9.10.1 main #43: Pull request #47 synchronize by jasagredo
May 27, 2024 13:57 24m 39s jasagredo:js/update-to-9.10
jasagredo:js/update-to-9.10
May 27, 2024 13:57 24m 39s
Release version 0.10.0 main #42: Pull request #48 opened by jasagredo
May 27, 2024 13:47 13m 16s jasagredo:js/release-0.10.0
jasagredo:js/release-0.10.0
May 27, 2024 13:47 13m 16s
Update to GHC 9.10.1 main #41: Pull request #47 opened by jasagredo
May 27, 2024 13:35 13m 2s jasagredo:js/update-to-9.10
jasagredo:js/update-to-9.10
May 27, 2024 13:35 13m 2s
Merge pull request #43 from jasagredo/js/replicate-in-forall main #40: Commit bce278e pushed by stevana
April 2, 2024 13:09 43m 22s master
master
April 2, 2024 13:09 43m 22s