Skip to content

Actions: softwarelanguageslab/monarch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
801 workflow runs
801 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
fix(simpleactor): properly call integrateCtx + correct restrictFormula Domains CI #934: Commit 5e65188 pushed by bramvdbogaerde
16m 21s main
main
16m 21s
fix(simpleactor): properly call integrateCtx + correct restrictFormula Analysis CI #932: Commit 5e65188 pushed by bramvdbogaerde
6m 2s main
main
6m 2s
fix(simpleactor): properly call integrateCtx + correct restrictFormula SCV CI #690: Commit 5e65188 pushed by bramvdbogaerde
5m 52s main
main
5m 52s
feat(simpleactor): flow-sensitive store widening SCV CI #689: Commit d12aa67 pushed by bramvdbogaerde
5m 55s main
main
5m 55s
feat(simpleactor): flow-sensitive store widening Domains CI #933: Commit d12aa67 pushed by bramvdbogaerde
16m 14s main
main
16m 14s
feat(simpleactor): flow-sensitive store widening Analysis CI #931: Commit d12aa67 pushed by bramvdbogaerde
6m 35s main
main
6m 35s
feat(analysis): compact printing of store addresses Analysis CI #930: Commit d27ad98 pushed by bramvdbogaerde
6m 11s main
main
6m 11s
feat(analysis): compact printing of store addresses SCV CI #688: Commit d27ad98 pushed by bramvdbogaerde
5m 59s main
main
5m 59s
feat(analysis): compact printing of store addresses Domains CI #932: Commit d27ad98 pushed by bramvdbogaerde
14m 19s main
main
14m 19s
feat(simpelactor): performance improvements SCV CI #687: Commit a536187 pushed by bramvdbogaerde
6m 16s main
main
6m 16s
feat(simpelactor): performance improvements Analysis CI #929: Commit a536187 pushed by bramvdbogaerde
6m 17s main
main
6m 17s
feat(simpelactor): performance improvements Domains CI #931: Commit a536187 pushed by bramvdbogaerde
15m 58s main
main
15m 58s
fix(simpleactor): added missing primitives Domains CI #930: Commit f8bfd94 pushed by bramvdbogaerde
16m 50s main
main
16m 50s
fix(simpleactor): added missing primitives SCV CI #686: Commit f8bfd94 pushed by bramvdbogaerde
6m 17s main
main
6m 17s
fix(simpleactor): added missing primitives Analysis CI #928: Commit f8bfd94 pushed by bramvdbogaerde
6m 15s main
main
6m 15s
feat(simpleactor): complete implementation of symbolic variable traci… Domains CI #929: Commit 872b18b pushed by bramvdbogaerde
16m 4s main
main
16m 4s
feat(simpleactor): complete implementation of symbolic variable traci… Analysis CI #927: Commit 872b18b pushed by bramvdbogaerde
5m 54s main
main
5m 54s
feat(simpleactor): complete implementation of symbolic variable traci… SCV CI #685: Commit 872b18b pushed by bramvdbogaerde
6m 16s main
main
6m 16s
feat(simpleactor/wip): adapting addMessageCtx to embed restricted p… Domains CI #928: Commit 6dff39c pushed by bramvdbogaerde
16m 33s main
main
16m 33s
feat(simpleactor/wip): adapting addMessageCtx to embed restricted p… SCV CI #684: Commit 6dff39c pushed by bramvdbogaerde
5m 59s main
main
5m 59s
feat(simpleactor/wip): adapting addMessageCtx to embed restricted p… Analysis CI #926: Commit 6dff39c pushed by bramvdbogaerde
5m 24s main
main
5m 24s
refactor: split Scheme store into multiple disjoint stores again SCV CI #683: Commit bb21aa0 pushed by bramvdbogaerde
8m 26s main
main
8m 26s
refactor: split Scheme store into multiple disjoint stores again Analysis CI #925: Commit bb21aa0 pushed by bramvdbogaerde
6m 7s main
main
6m 7s
refactor: split Scheme store into multiple disjoint stores again Domains CI #927: Commit bb21aa0 pushed by bramvdbogaerde
17m 9s main
main
17m 9s
fix(simpleactor+analysis): implement missing spans and added stringTo… Analysis CI #924: Commit 03564f2 pushed by bramvdbogaerde
6m 13s main
main
6m 13s