Skip to content

Actions: softwarelanguageslab/monarch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
783 workflow runs
783 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
analysis: MonadChoice integration in simpleactor and scv Domains CI #882: Commit 61a562d pushed by bramvdbogaerde
14m 0s main
main
14m 0s
analysis: MonadChoice integration in simpleactor and scv Analysis CI #880: Commit 61a562d pushed by bramvdbogaerde
5m 41s main
main
5m 41s
analysis: MonadChoice integration in simpleactor and scv SCV CI #638: Commit 61a562d pushed by bramvdbogaerde
5m 41s main
main
5m 41s
feat(analysis): added MonadChoice to make 'cond' polymorphic SCV CI #637: Commit c75cdc3 pushed by bramvdbogaerde
5m 42s main
main
5m 42s
feat(analysis): added MonadChoice to make 'cond' polymorphic Analysis CI #879: Commit c75cdc3 pushed by bramvdbogaerde
6m 17s main
main
6m 17s
feat(analysis): added MonadChoice to make 'cond' polymorphic Domains CI #881: Commit c75cdc3 pushed by bramvdbogaerde
13m 48s main
main
13m 48s
feat(simpleactor): use the SymbolicVariable from ASE for the repres… SCV CI #636: Commit b79896d pushed by bramvdbogaerde
5m 26s main
main
5m 26s
feat(simpleactor): use the SymbolicVariable from ASE for the repres… Analysis CI #878: Commit b79896d pushed by bramvdbogaerde
5m 45s main
main
5m 45s
feat(simpleactor): use the SymbolicVariable from ASE for the repres… Domains CI #880: Commit b79896d pushed by bramvdbogaerde
13m 44s main
main
13m 44s
feat(simpleactor): symbolic domain Analysis CI #877: Commit 1b8574e pushed by bramvdbogaerde
5m 47s main
main
5m 47s
feat(simpleactor): symbolic domain Domains CI #879: Commit 1b8574e pushed by bramvdbogaerde
14m 2s main
main
14m 2s
feat(simpleactor): symbolic domain SCV CI #635: Commit 1b8574e pushed by bramvdbogaerde
5m 33s main
main
5m 33s
fix(maf2-scv): elliminate all warnings SCV CI #634: Commit e642c55 pushed by bramvdbogaerde
5m 30s main
main
5m 30s
fix(maf2-scv): elliminate all warnings Domains CI #878: Commit e642c55 pushed by bramvdbogaerde
13m 38s main
main
13m 38s
fix(maf2-scv): elliminate all warnings Analysis CI #876: Commit e642c55 pushed by bramvdbogaerde
5m 39s main
main
5m 39s
small updates Analysis CI #875: Commit ce11d5b pushed by bramvdbogaerde
5m 50s main
main
5m 50s
small updates Domains CI #877: Commit ce11d5b pushed by bramvdbogaerde
13m 52s main
main
13m 52s
small updates SCV CI #633: Commit ce11d5b pushed by bramvdbogaerde
6m 31s main
main
6m 31s
fix(simpleactor): use the global mailboxes as the current outbox + gr… Domains CI #876: Commit 5164c16 pushed by bramvdbogaerde
13m 43s main
main
13m 43s
fix(simpleactor): use the global mailboxes as the current outbox + gr… SCV CI #632: Commit 5164c16 pushed by bramvdbogaerde
5m 50s main
main
5m 50s
fix(simpleactor): use the global mailboxes as the current outbox + gr… Analysis CI #874: Commit 5164c16 pushed by bramvdbogaerde
5m 40s main
main
5m 40s
feat(analysis): graphviz graph visualization in core analysis Domains CI #875: Commit 90e3cee pushed by bramvdbogaerde
13m 21s main
main
13m 21s
feat(analysis): graphviz graph visualization in core analysis Analysis CI #873: Commit 90e3cee pushed by bramvdbogaerde
5m 55s main
main
5m 55s
feat(analysis): graphviz graph visualization in core analysis SCV CI #631: Commit 90e3cee pushed by bramvdbogaerde
5m 25s main
main
5m 25s
fix(simpleactor): use pureactor's mailbox abstraction from core Analysis CI #872: Commit c36fa6f pushed by bramvdbogaerde
5m 34s main
main
5m 34s