Skip to content

Actions: spex-lang/spex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
261 workflow runs
261 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: move env
main #136: Commit ba4bb52 pushed by stevana
November 2, 2024 11:34 9m 0s main
November 2, 2024 11:34 9m 0s
ci: more tweaks
main #135: Commit e108bb5 pushed by stevana
November 2, 2024 11:32 1s main
November 2, 2024 11:32 1s
ci: fix mistake in use of outputs
main #134: Commit 5215eeb pushed by stevana
November 2, 2024 10:37 8m 52s main
November 2, 2024 10:37 8m 52s
ci: create separate release job using artifacts
main #133: Commit 9f58be5 pushed by stevana
November 2, 2024 10:33 2s main
November 2, 2024 10:33 2s
ci: try using a release action instead
main #132: Commit c26c856 pushed by stevana
November 1, 2024 12:46 8m 47s main
November 1, 2024 12:46 8m 47s
ci: use -perm instead of -executable
main #131: Commit 4e819d7 pushed by stevana
November 1, 2024 12:13 8m 54s main
November 1, 2024 12:13 8m 54s
ci: fix syntax error
main #130: Commit cfe49ae pushed by stevana
November 1, 2024 11:40 8m 48s main
November 1, 2024 11:40 8m 48s
ci: try to build arm64 macos binary
main #129: Commit 3d48557 pushed by stevana
November 1, 2024 11:37 Failure main
November 1, 2024 11:37 Failure
ci: check uname -a on macos workers
main #128: Commit 598e1ad pushed by stevana
October 31, 2024 20:24 11s main
October 31, 2024 20:24 11s
feat: add check command
main #127: Commit 08efa50 pushed by stevana
October 31, 2024 14:19 1m 27s main
October 31, 2024 14:19 1m 27s
feat: add basic formatter
main #126: Commit 802f312 pushed by stevana
October 31, 2024 13:43 1m 55s main
October 31, 2024 13:43 1m 55s
feat: improve error output
main #125: Commit b0ec5d3 pushed by stevana
October 30, 2024 14:52 1m 46s main
October 30, 2024 14:52 1m 46s
feat: add shrinking
main #124: Commit 3350496 pushed by stevana
October 30, 2024 11:33 1m 52s main
October 30, 2024 11:33 1m 52s
feat: first go at fancy scope errors
main #123: Commit facea8f pushed by stevana
October 30, 2024 08:07 40m 5s main
October 30, 2024 08:07 40m 5s
ci: try to avoid a second cabal update
main #122: Commit 3770cf4 pushed by stevana
October 29, 2024 12:16 8m 27s main
October 29, 2024 12:16 8m 27s
ci: try caching again
main #121: Commit 8ae61f9 pushed by stevana
October 29, 2024 11:38 37s main
October 29, 2024 11:38 37s
docs: document response reuse
main #120: Commit 05b816f pushed by stevana
October 29, 2024 10:15 47s main
October 29, 2024 10:15 47s
feat: reset deployment between tests
main #119: Commit 2c114d9 pushed by stevana
October 29, 2024 09:55 7m 9s main
October 29, 2024 09:55 7m 9s
feat: save response values into generation context
main #118: Commit 3c55946 pushed by stevana
October 29, 2024 08:36 7m 44s main
October 29, 2024 08:36 7m 44s
feat: add health checker
main #117: Commit a065c82 pushed by stevana
October 28, 2024 20:08 7m 38s main
October 28, 2024 20:08 7m 38s
docs: add zulip also
main #116: Commit 0569fe7 pushed by stevana
October 28, 2024 14:02 56s main
October 28, 2024 14:02 56s
docs: expand a bit on contributing
main #115: Commit 46e9754 pushed by stevana
October 28, 2024 13:26 1m 11s main
October 28, 2024 13:26 1m 11s
docs: clean up readme by moving roadmap and todo stuff to own files
main #114: Commit 8eba58b pushed by stevana
October 28, 2024 10:16 1m 22s main
October 28, 2024 10:16 1m 22s
ci: fix platform and remove metadata step
main #113: Commit 663ef36 pushed by stevana
October 28, 2024 09:07 1m 6s main
October 28, 2024 09:07 1m 6s
ci: again
main #112: Commit 888167f pushed by stevana
October 28, 2024 07:40 1m 8s main
October 28, 2024 07:40 1m 8s