Skip to content

Actions: stevana/quickcheck-state-machine

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
38 workflow runs
38 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
Replicate parallel executions in forallParallelCommands main #39: Pull request #43 synchronize by jasagredo
March 31, 2024 11:01 28m 47s jasagredo:js/replicate-in-forall
jasagredo:js/replicate-in-forall
March 31, 2024 11:01 28m 47s
Replicate parallel executions in forallParallelCommands main #38: Pull request #43 synchronize by jasagredo
March 31, 2024 10:57 49m 16s jasagredo:js/replicate-in-forall
jasagredo:js/replicate-in-forall
March 31, 2024 10:57 49m 16s
Replicate parallel executions in forallParallelCommands main #37: Pull request #43 synchronize by jasagredo
March 24, 2024 14:53 31m 42s jasagredo:js/replicate-in-forall
jasagredo:js/replicate-in-forall
March 24, 2024 14:53 31m 42s
Replicate parallel executions in forallParallelCommands main #36: Pull request #43 synchronize by jasagredo
March 23, 2024 16:38 26m 36s jasagredo:js/replicate-in-forall
jasagredo:js/replicate-in-forall
March 23, 2024 16:38 26m 36s
Replicate parallel executions in forallParallelCommands main #35: Pull request #43 synchronize by jasagredo
March 23, 2024 16:34 34m 36s jasagredo:js/replicate-in-forall
jasagredo:js/replicate-in-forall
March 23, 2024 16:34 34m 36s
Replicate parallel executions in forallParallelCommands main #34: Pull request #43 opened by jasagredo
March 21, 2024 19:06 36m 19s jasagredo:js/replicate-in-forall
jasagredo:js/replicate-in-forall
March 21, 2024 19:06 36m 19s
Merge pull request #39 from stevana/fix-automated-release main #31: Commit 3748220 pushed by stevana
January 16, 2024 13:04 8m 44s master
master
January 16, 2024 13:04 8m 44s
Try to fix CI so it only publishes to Hackage on merges to master. main #30: Pull request #39 opened by stevana
January 16, 2024 12:47 8m 44s fix-automated-release
fix-automated-release
January 16, 2024 12:47 8m 44s
Merge pull request #38 from stevana/release-0.9.0 main #29: Commit 58b09b7 pushed by stevana
January 16, 2024 12:44 8m 46s master
master
January 16, 2024 12:44 8m 46s
Prepare for 0.9.0 release. main #28: Pull request #38 synchronize by stevana
January 16, 2024 12:42 8m 39s release-0.9.0
release-0.9.0
January 16, 2024 12:42 8m 39s
Prepare for 0.9.0 release. main #27: Pull request #38 opened by stevana
January 16, 2024 12:02 8m 51s release-0.9.0
release-0.9.0
January 16, 2024 12:02 8m 51s
Merge pull request #37 from stevana/automate-release main #26: Commit 51e44a5 pushed by stevana
January 16, 2024 11:42 18m 49s master
master
January 16, 2024 11:42 18m 49s
Automate release main #25: Pull request #37 opened by stevana
January 16, 2024 11:38 19m 10s automate-release
automate-release
January 16, 2024 11:38 19m 10s
Merge pull request #35 from stevana/fix/issue-32 main #24: Commit b123abc pushed by stevana
January 7, 2024 10:43 8m 48s master
master
January 7, 2024 10:43 8m 48s
Fix/issue 32 main #23: Pull request #35 opened by stevana
January 7, 2024 09:32 7m 48s fix/issue-32
fix/issue-32
January 7, 2024 09:32 7m 48s
Merge pull request #34 from erikd/master main #22: Commit 5c9f43e pushed by stevana
January 7, 2024 09:07 19m 10s master
master
January 7, 2024 09:07 19m 10s
Update dependencies main #21: Pull request #34 synchronize by erikd
January 6, 2024 22:41 16m 28s erikd:master
erikd:master
January 6, 2024 22:41 16m 28s
Update dependencies main #20: Pull request #34 opened by erikd
January 5, 2024 02:38 18m 48s erikd:master
erikd:master
January 5, 2024 02:38 18m 48s
Merge pull request #33 from jasagredo/js/fix-visibility main #19: Commit 8e2bfb2 pushed by stevana
December 18, 2023 13:33 8m 58s master
master
December 18, 2023 13:33 8m 58s
Change visibility of sublibrary main #18: Pull request #33 opened by jasagredo
December 18, 2023 13:22 9m 2s jasagredo:js/fix-visibility
jasagredo:js/fix-visibility
December 18, 2023 13:22 9m 2s
Merge pull request #31 from jasagredo/js/vendored-treediff main #17: Commit 8015045 pushed by stevana
December 15, 2023 10:43 18m 55s master
master
December 15, 2023 10:43 18m 55s
Split vendored tree-diff into a sublibrary main #16: Pull request #31 synchronize by jasagredo
December 15, 2023 10:24 10m 3s jasagredo:js/vendored-treediff
jasagredo:js/vendored-treediff
December 15, 2023 10:24 10m 3s
Split vendored tree-diff into a sublibrary main #15: Pull request #31 synchronize by jasagredo
December 14, 2023 11:51 19m 14s jasagredo:js/vendored-treediff
jasagredo:js/vendored-treediff
December 14, 2023 11:51 19m 14s
Split vendored tree-diff into a sublibrary main #14: Pull request #31 synchronize by jasagredo
December 5, 2023 12:24 9m 0s jasagredo:js/vendored-treediff
jasagredo:js/vendored-treediff
December 5, 2023 12:24 9m 0s