Thanks to visit codestin.com
Credit goes to github.com

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