Skip to content

Actions: prismmodelchecker/prism

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI updates make-tests #249: Pull request #238 synchronize by davexparker
January 1, 2024 13:16 7m 6s davexparker:build
davexparker:build
January 1, 2024 13:16 7m 6s
CI updates make-tests #248: Pull request #238 synchronize by davexparker
January 1, 2024 12:59 2m 53s davexparker:build
davexparker:build
January 1, 2024 12:59 2m 53s
CI updates make-tests #247: Pull request #238 synchronize by davexparker
December 31, 2023 09:41 3m 0s davexparker:build
davexparker:build
December 31, 2023 09:41 3m 0s
CI updates make-tests #246: Pull request #238 synchronize by davexparker
December 30, 2023 23:16 3m 46s davexparker:build
davexparker:build
December 30, 2023 23:16 3m 46s
CI updates make-tests #245: Pull request #238 synchronize by davexparker
December 30, 2023 18:36 3m 25s davexparker:build
davexparker:build
December 30, 2023 18:36 3m 25s
CI updates make-tests #244: Pull request #238 opened by davexparker
December 30, 2023 17:18 3m 59s davexparker:build
davexparker:build
December 30, 2023 17:18 3m 59s
Easier testing that lpsolve works (make testlpsolve). make-tests #243: Commit 1fa2d57 pushed by davexparker
December 30, 2023 12:36 5m 4s master
master
December 30, 2023 12:36 5m 4s
Add README for ext. make-tests #242: Commit 6cf7a92 pushed by davexparker
December 29, 2023 14:55 5m 22s master
master
December 29, 2023 14:55 5m 22s
Scripts to install PRISM on a clean Windows instance. make-tests #241: Commit 5463eda pushed by davexparker
December 26, 2023 22:55 6m 5s master
master
December 26, 2023 22:55 6m 5s
Fix for -javaparams switch. make-tests #240: Commit c6b3dd1 pushed by davexparker
December 23, 2023 12:30 5m 46s master
master
December 23, 2023 12:30 5m 46s
Re-arrange simple individual test(s). make-tests #239: Commit 5b13358 pushed by davexparker
December 19, 2023 23:20 5m 12s master
master
December 19, 2023 23:20 5m 12s
Implement transition reward export (MDP-like models) for explicit eng… make-tests #238: Commit 1ab9bb4 pushed by davexparker
December 19, 2023 00:06 5m 52s master
master
December 19, 2023 00:06 5m 52s
Update binary release filenames for Mac (e.g. osx64 -> mac64). make-tests #237: Commit a761aa9 pushed by davexparker
December 5, 2023 14:14 5m 1s master
master
December 5, 2023 14:14 5m 1s