Skip to content

Actions: haskell/alex

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add placeholder boot files to simplify local builds Build #34: Commit 13839ec pushed by andreasabel
April 6, 2025 19:41 8m 41s master
master
April 6, 2025 19:41 8m 41s
Bump stack.yaml to lts-21.25 (GHC 9.4.8, recommended) Build #33: Commit ac447f1 pushed by andreasabel
April 6, 2025 18:55 8m 9s master
master
April 6, 2025 18:55 8m 9s
v3.5.3.0: bugfix in automaton minimizer Build #32: Commit ed0e0ed pushed by andreasabel
April 6, 2025 18:31 9m 17s master
master
April 6, 2025 18:31 9m 17s
v3.5.3.0: bugfix in automaton minimizer Build #31: Pull request #274 synchronize by andreasabel
April 6, 2025 18:08 9m 9s version-3.5.3
version-3.5.3
April 6, 2025 18:08 9m 9s
v3.5.3.0: bugfix in automaton minimizer Build #30: Pull request #274 opened by andreasabel
April 6, 2025 16:36 7m 33s version-3.5.3
version-3.5.3
April 6, 2025 16:36 7m 33s
remove fork of Ranged-sets-0.3.0 Build #29: Pull request #273 synchronize by nicuveo
April 6, 2025 01:08 9m 48s nicuveo:ranged-sets
nicuveo:ranged-sets
April 6, 2025 01:08 9m 48s
remove fork of Ranged-sets-0.3.0 Build #28: Pull request #273 synchronize by nicuveo
April 6, 2025 00:53 9m 35s nicuveo:ranged-sets
nicuveo:ranged-sets
April 6, 2025 00:53 9m 35s
remove fork of Ranged-sets-0.3.0 Build #27: Pull request #273 opened by nicuveo
April 5, 2025 16:05 8m 15s nicuveo:ranged-sets
nicuveo:ranged-sets
April 5, 2025 16:05 8m 15s
add placeholder boot files to simplify local installs Build #26: Pull request #272 opened by nicuveo
April 5, 2025 12:25 9m 8s nicuveo:phantom-boot
nicuveo:phantom-boot
April 5, 2025 12:25 9m 8s
Fix #269 and rewrite DFAMin (#270) Build #25: Commit aa6c57b pushed by andreasabel
April 5, 2025 11:52 9m 31s master
master
April 5, 2025 11:52 9m 31s
Fix #269 and rewrite DFAMin Build #24: Pull request #270 synchronize by nicuveo
April 5, 2025 10:39 8m 8s nicuveo:issue269
nicuveo:issue269
April 5, 2025 10:39 8m 8s
Fix #269 and rewrite DFAMin Build #23: Pull request #270 synchronize by nicuveo
April 5, 2025 10:31 6m 33s nicuveo:issue269
nicuveo:issue269
April 5, 2025 10:31 6m 33s
bump run-on-arch-action version Build #22: Commit bf6f8bb pushed by andreasabel
April 5, 2025 07:08 9m 20s master
master
April 5, 2025 07:08 9m 20s
Fix transient CI failures Build #21: Pull request #271 opened by nicuveo
April 4, 2025 22:10 8m 37s nicuveo:bump-arch-action
nicuveo:bump-arch-action
April 4, 2025 22:10 8m 37s
Fix #269 and rewrite DFAMin Build #20: Pull request #270 synchronize by nicuveo
April 4, 2025 22:00 9m 4s nicuveo:issue269
nicuveo:issue269
April 4, 2025 22:00 9m 4s
Fix #269 and rewrite DFAMin Build #19: Pull request #270 synchronize by nicuveo
April 4, 2025 21:49 8m 37s nicuveo:issue269
nicuveo:issue269
April 4, 2025 21:49 8m 37s
Fix #269 and rewrite DFAMin Build #18: Pull request #270 synchronize by nicuveo
April 4, 2025 21:45 10m 12s nicuveo:issue269
nicuveo:issue269
April 4, 2025 21:45 10m 12s
Fix #269 and rewrite DFAMin Build #17: Pull request #270 synchronize by andreasabel
April 4, 2025 19:25 10m 2s nicuveo:issue269
nicuveo:issue269
April 4, 2025 19:25 10m 2s
Fix #269 and rewrite DFAMin Build #16: Pull request #270 synchronize by nicuveo
April 4, 2025 11:53 7m 30s nicuveo:issue269
nicuveo:issue269
April 4, 2025 11:53 7m 30s
Fix #269 and rewrite DFAMin Build #15: Pull request #270 synchronize by nicuveo
April 3, 2025 23:44 8m 56s nicuveo:issue269
nicuveo:issue269
April 3, 2025 23:44 8m 56s
Fix #269 and rewrite DFAMin Build #14: Pull request #270 synchronize by nicuveo
April 3, 2025 23:18 9m 53s nicuveo:issue269
nicuveo:issue269
April 3, 2025 23:18 9m 53s
Fix #269 and rewrite DFAMin Build #13: Pull request #270 opened by nicuveo
April 3, 2025 22:51 6m 45s nicuveo:issue269
nicuveo:issue269
April 3, 2025 22:51 6m 45s
Bump CI to GHC 9.12.2 Build #12: Commit eb6c78d pushed by andreasabel
March 15, 2025 19:58 9m 3s master
master
March 15, 2025 19:58 9m 3s
Bump CI to GHC 9.12.2 Build #11: Pull request #268 opened by andreasabel
March 15, 2025 19:43 10m 6s ci-9.12.2
ci-9.12.2
March 15, 2025 19:43 10m 6s
README: fix CI link Build #10: Commit 7b55853 pushed by andreasabel
December 30, 2024 17:05 8m 19s master
master
December 30, 2024 17:05 8m 19s