Skip to content

Actions: softwarelanguageslab/monarch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
762 workflow runs
762 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(simpleactor): added Racket line-coverage as a way to test soundness SCV CI #648: Commit 6795a06 pushed by bramvdbogaerde
5m 34s main
main
5m 34s
feat(simpleactor): added Racket line-coverage as a way to test soundness Domains CI #892: Commit 6795a06 pushed by bramvdbogaerde
13m 40s main
main
13m 40s
feat(simpleactor): added Racket line-coverage as a way to test soundness Analysis CI #890: Commit 6795a06 pushed by bramvdbogaerde
6m 11s main
main
6m 11s
fix: use 'fresh' directly for unknown symbolic representations Domains CI #891: Commit 18515ea pushed by bramvdbogaerde
12m 3s main
main
12m 3s
fix: use 'fresh' directly for unknown symbolic representations Analysis CI #889: Commit 18515ea pushed by bramvdbogaerde
5m 52s main
main
5m 52s
fix: use 'fresh' directly for unknown symbolic representations SCV CI #647: Commit 18515ea pushed by bramvdbogaerde
5m 27s main
main
5m 27s
fix(simpleactor): fix termination issue by using the existing store a… Analysis CI #888: Commit c465ef1 pushed by bramvdbogaerde
5m 57s main
main
5m 57s
fix(simpleactor): fix termination issue by using the existing store a… SCV CI #646: Commit c465ef1 pushed by bramvdbogaerde
5m 39s main
main
5m 39s
fix(simpleactor): fix termination issue by using the existing store a… Domains CI #890: Commit c465ef1 pushed by bramvdbogaerde
13m 38s main
main
13m 38s
fix(simpleactor): add dynamic environment properly to the turn so tha… SCV CI #645: Commit f132f4e pushed by bramvdbogaerde
5m 49s main
main
5m 49s
fix(simpleactor): add dynamic environment properly to the turn so tha… Domains CI #889: Commit f132f4e pushed by bramvdbogaerde
14m 11s main
main
14m 11s
fix(simpleactor): add dynamic environment properly to the turn so tha… Analysis CI #887: Commit f132f4e pushed by bramvdbogaerde
5m 57s main
main
5m 57s
fix(simpleactor): proper receive implementation Domains CI #888: Commit 52fec82 pushed by bramvdbogaerde
12m 3s main
main
12m 3s
fix(simpleactor): proper receive implementation SCV CI #644: Commit 52fec82 pushed by bramvdbogaerde
4m 51s main
main
4m 51s
fix(simpleactor): proper receive implementation Analysis CI #886: Commit 52fec82 pushed by bramvdbogaerde
5m 33s main
main
5m 33s
feat(simpleactor): benchmarking preparation SCV CI #643: Commit 0edae0b pushed by bramvdbogaerde
6m 14s main
main
6m 14s
feat(simpleactor): benchmarking preparation Analysis CI #885: Commit 0edae0b pushed by bramvdbogaerde
5m 40s main
main
5m 40s
feat(simpleactor): benchmarking preparation Domains CI #887: Commit 0edae0b pushed by bramvdbogaerde
13m 55s main
main
13m 55s
feat(simpleactor): benchmarking preparation SCV CI #642: Commit 0036ba7 pushed by bramvdbogaerde
5m 28s main
main
5m 28s
feat(simpleactor): benchmarking preparation Analysis CI #884: Commit 0036ba7 pushed by bramvdbogaerde
5m 45s main
main
5m 45s
feat(simpleactor): benchmarking preparation Domains CI #886: Commit 0036ba7 pushed by bramvdbogaerde
12m 14s main
main
12m 14s
feat(simpleactor): implement 'fresh' + use SetNonDetT to avoid needin… Domains CI #885: Commit 9274b64 pushed by bramvdbogaerde
13m 32s main
main
13m 32s
feat(simpleactor): implement 'fresh' + use SetNonDetT to avoid needin… SCV CI #641: Commit 9274b64 pushed by bramvdbogaerde
6m 9s main
main
6m 9s
feat(simpleactor): implement 'fresh' + use SetNonDetT to avoid needin… Analysis CI #883: Commit 9274b64 pushed by bramvdbogaerde
6m 0s main
main
6m 0s
fix(maf2-scv): fix tests SCV CI #640: Commit 1685e7f pushed by bramvdbogaerde
6m 13s main
main
6m 13s