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

feat: push experimental LTL variant main #261: Commit 7b575dd pushed by stevana
January 30, 2025 09:48 17m 44s main
main
January 30, 2025 09:48 17m 44s
feat: generalise operations so that we can support more than http ops main #260: Commit 3353318 pushed by stevana
January 7, 2025 13:26 4m 49s main
main
January 7, 2025 13:26 4m 49s
feat: add TPTL experiment main #259: Commit 691253b pushed by stevana
January 2, 2025 10:49 10m 40s main
main
January 2, 2025 10:49 10m 40s
fix: fix bug in runSession and make 2PC liveness tests pass main #258: Commit 06e8609 pushed by stevana
December 16, 2024 15:45 5m 21s main
main
December 16, 2024 15:45 5m 21s
fix: two mistake in 2PC liveness property and test main #257: Commit 57ccad1 pushed by stevana
December 16, 2024 13:13 4m 59s main
main
December 16, 2024 13:13 4m 59s
feat: add liveness property for 2PC (doesn't pass yet) main #256: Commit 1de9cd6 pushed by stevana
December 16, 2024 08:59 5m 50s main
main
December 16, 2024 08:59 5m 50s
feat: fix some unhappy paths for 2PC main #255: Commit ce71eab pushed by stevana
December 13, 2024 11:08 5m 59s main
main
December 13, 2024 11:08 5m 59s
feat: add output to test main #254: Commit 483eece pushed by stevana
December 12, 2024 14:47 6m 0s main
main
December 12, 2024 14:47 6m 0s
refactor: remove server field from deployment main #253: Commit ceace3d pushed by stevana
December 12, 2024 14:29 6m 4s main
main
December 12, 2024 14:29 6m 4s
feat: make happy path simulation for 2PC work main #252: Commit 9a57ee9 pushed by stevana
December 12, 2024 14:27 1m 28s main
main
December 12, 2024 14:27 1m 28s
feat: more async protocol experiments main #251: Commit 9ab7f07 pushed by stevana
December 12, 2024 07:57 5m 44s main
main
December 12, 2024 07:57 5m 44s
feat: more session type experimentation main #250: Commit b61095b pushed by stevana
December 10, 2024 10:55 5m 30s main
main
December 10, 2024 10:55 5m 30s
fix: bump ghc version on CI main #249: Commit ca63726 pushed by stevana
December 10, 2024 08:24 12m 44s main
main
December 10, 2024 08:24 12m 44s
feat: upgrade to latest stackage LTS (GHC 9.8.4) main #248: Commit 64ac116 pushed by stevana
December 10, 2024 08:00 14m 17s main
main
December 10, 2024 08:00 14m 17s
feat: add some experiments main #247: Commit dd590a3 pushed by stevana
December 7, 2024 10:28 11m 24s main
main
December 7, 2024 10:28 11m 24s
feat: add json logging and json result output main #246: Commit cfc7abb pushed by stevana
November 27, 2024 11:30 6m 25s main
main
November 27, 2024 11:30 6m 25s
refactor: add ToJSON instance for the Result type main #245: Commit 101963d pushed by stevana
November 26, 2024 16:56 9m 10s main
main
November 26, 2024 16:56 9m 10s
fix: add overloaded strings main #244: Commit 9a2df20 pushed by stevana
November 25, 2024 16:46 5m 39s main
main
November 25, 2024 16:46 5m 39s
refactor: move logger into separate module main #243: Commit a1544b9 pushed by stevana
November 23, 2024 12:42 7m 29s main
main
November 23, 2024 12:42 7m 29s
feat!: add size to generators main #242: Commit 7f16ccb pushed by stevana
November 23, 2024 09:53 5m 56s main
main
November 23, 2024 09:53 5m 56s
fix: order matters if we want to preserve old test output main #241: Commit e71caf1 pushed by stevana
November 22, 2024 14:49 6m 28s main
main
November 22, 2024 14:49 6m 28s
docs: tweak motivation section in readme main #240: Commit c3badfe pushed by stevana
November 20, 2024 09:32 1m 8s main
main
November 20, 2024 09:32 1m 8s
docs: rework readme main #239: Commit 9d577dc pushed by stevana
November 19, 2024 14:17 5m 44s main
main
November 19, 2024 14:17 5m 44s
ci: checkout makefile in smoke image step main #238: Commit 1edb51f pushed by stevana
November 19, 2024 10:23 8m 21s main
main
November 19, 2024 10:23 8m 21s
ci: reenable mac and win builds main #237: Commit cc991c2 pushed by stevana
November 19, 2024 09:59 14m 44s main
main
November 19, 2024 09:59 14m 44s