Workflow runs · prismmodelchecker/prism-games · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

11 workflow runs

11 workflow runs

Better warnings for unsupported symbolic SMG import/export. make-tests #61: Commit 406991e pushed by davexparker

11m 43s master

master

11m 43s

Merge in new interval model code make-tests #60: Pull request #19 opened by davexparker

12m 17s 7angel4:two-player-icsg-merge

7angel4:two-player-icsg-merge

12m 17s

Fix and strategy synthesis for next make-tests #59: Pull request #13 synchronize by gabrielhrs

10m 6s gabrielhrs:master

gabrielhrs:master

10m 6s

Fix and strategy synthesis for next make-tests #58: Pull request #13 synchronize by gabrielhrs

11m 28s gabrielhrs:master

gabrielhrs:master

11m 28s

Fix and strategy synthesis for next make-tests #57: Pull request #13 synchronize by gabrielhrs

6m 38s gabrielhrs:master

gabrielhrs:master

6m 38s

Fix and strategy synthesis for next make-tests #56: Pull request #13 synchronize by gabrielhrs

6m 8s gabrielhrs:master

gabrielhrs:master

6m 8s

Fix and strategy synthesis for next make-tests #55: Pull request #13 synchronize by gabrielhrs

5m 46s gabrielhrs:master

gabrielhrs:master

5m 46s

Merge branch 'prism' make-tests #54: Commit 1ad81ac pushed by davexparker

9m 33s master

master

9m 33s

Merge branch 'prism' make-tests #53: Commit 7452ff8 pushed by davexparker

10m 59s master

master

10m 59s

Remove use of SMGRewards; switch to Rewards. make-tests #52: Commit d443cd3 pushed by davexparker

11m 53s master

master

11m 53s

Always use .dylib, not .jnilib, for shared libraries on macOS. make-tests #51: Commit acc29e1 pushed by davexparker

7m 27s master

master

7m 27s