Skip to content

Actions: prismmodelchecker/prism-games

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SMG model export (.tra file) + regression tests. make-tests #50: Commit 44b16f9 pushed by davexparker
July 2, 2024 22:40 11m 34s master
master
July 2, 2024 22:40 11m 34s
Library install: don't preserve symlinks on Windows (breaks release b… make-tests #49: Commit 630ec6f pushed by davexparker
January 11, 2024 09:59 11m 47s master
master
January 11, 2024 09:59 11m 47s
Updates for 3.2.1 release. make-tests #48: Commit d7c7a53 pushed by davexparker
January 11, 2024 07:43 11m 8s master
master
January 11, 2024 07:43 11m 8s
Fixes in compile notes for external libraries. make-tests #47: Commit 1ece26f pushed by davexparker
January 11, 2024 07:36 12m 28s master
master
January 11, 2024 07:36 12m 28s
Merge branch 'prism' make-tests #46: Commit 77f2587 pushed by davexparker
January 10, 2024 22:59 11m 41s master
master
January 10, 2024 22:59 11m 41s
New versions of optional libraries make-tests #45: Pull request #17 synchronize by davexparker
January 10, 2024 22:45 14m 53s davexparker:newlibs
davexparker:newlibs
January 10, 2024 22:45 14m 53s
New versions of optional libraries make-tests #44: Pull request #17 synchronize by davexparker
January 10, 2024 17:36 17m 3s davexparker:newlibs
davexparker:newlibs
January 10, 2024 17:36 17m 3s
New versions of optional libraries make-tests #43: Pull request #17 synchronize by davexparker
January 10, 2024 16:00 10m 29s davexparker:newlibs
davexparker:newlibs
January 10, 2024 16:00 10m 29s
New versions of optional libraries make-tests #42: Pull request #17 synchronize by davexparker
January 10, 2024 11:01 9m 51s davexparker:newlibs
davexparker:newlibs
January 10, 2024 11:01 9m 51s
Merge branch 'prism' make-tests #41: Commit c55b62b pushed by davexparker
January 9, 2024 21:34 9m 48s master
master
January 9, 2024 21:34 9m 48s
New versions of optional libraries make-tests #40: Pull request #17 synchronize by davexparker
January 9, 2024 11:07 14m 6s davexparker:newlibs
davexparker:newlibs
January 9, 2024 11:07 14m 6s
New versions of optional libraries make-tests #39: Pull request #17 synchronize by davexparker
January 9, 2024 10:30 6h 0m 28s davexparker:newlibs
davexparker:newlibs
January 9, 2024 10:30 6h 0m 28s
New versions of optional libraries make-tests #38: Pull request #17 synchronize by davexparker
January 9, 2024 10:18 Startup failure davexparker:newlibs
davexparker:newlibs
January 9, 2024 10:18 Startup failure
New versions of optional libraries make-tests #37: Pull request #17 synchronize by davexparker
January 9, 2024 10:09 12m 37s davexparker:newlibs
davexparker:newlibs
January 9, 2024 10:09 12m 37s
New versions of optional libraries make-tests #36: Pull request #17 synchronize by davexparker
January 9, 2024 09:55 11m 8s davexparker:newlibs
davexparker:newlibs
January 9, 2024 09:55 11m 8s
New versions of optional libraries make-tests #35: Pull request #17 synchronize by davexparker
January 6, 2024 12:45 9m 42s davexparker:newlibs
davexparker:newlibs
January 6, 2024 12:45 9m 42s
New versions of optional libraries make-tests #34: Pull request #17 opened by davexparker
January 6, 2024 09:11 11m 20s davexparker:newlibs
davexparker:newlibs
January 6, 2024 09:11 11m 20s
Print Yices solver version info. make-tests #33: Commit 5c37ba7 pushed by davexparker
January 6, 2024 09:01 14m 27s master
master
January 6, 2024 09:01 14m 27s
A few re-alignments with main prism branch. make-tests #32: Commit 63281b2 pushed by davexparker
January 6, 2024 08:58 10m 31s master
master
January 6, 2024 08:58 10m 31s
Update install scripts for PRISM-games. make-tests #31: Commit 7c9cf45 pushed by davexparker
December 27, 2023 00:03 5m 44s master
master
December 27, 2023 00:03 5m 44s
Extend updates in install tests to PRISM-games. make-tests #30: Commit 3b678c0 pushed by davexparker
December 19, 2023 23:39 5m 23s master
master
December 19, 2023 23:39 5m 23s
Merge branch 'prism' make-tests #29: Commit 7982397 pushed by davexparker
December 5, 2023 14:19 5m 20s master
master
December 5, 2023 14:19 5m 20s
Merge branch 'prism' make-tests #28: Commit ec74229 pushed by davexparker
December 5, 2023 09:48 5m 25s master
master
December 5, 2023 09:48 5m 25s
Updates for 3.2 release. make-tests #26: Commit 354f0d2 pushed by davexparker
November 12, 2023 17:06 8m 30s master
master
November 12, 2023 17:06 8m 30s
Re-enable symbolic SMGs (last merge broke engine switch). make-tests #25: Commit 9278c3f pushed by davexparker
September 1, 2023 06:54 8m 21s master
master
September 1, 2023 06:54 8m 21s