Skip to content

Actions: prismmodelchecker/prism

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GUI fix: icon image load error. Regression tests #427: Commit 3d890b2 pushed by davexparker
10m 35s master
master
10m 35s
Simplify build Regression tests #426: Pull request #269 synchronize by davexparker
Queued davexparker:build
davexparker:build
Queued
Simplify build Regression tests #425: Pull request #269 synchronize by davexparker
Queued davexparker:build
davexparker:build
Queued
Simplify build Regression tests #424: Pull request #269 synchronize by davexparker
Queued davexparker:build
davexparker:build
Queued
Simplify build Regression tests #423: Pull request #269 synchronize by davexparker
Queued davexparker:build
davexparker:build
Queued
Simplify build Regression tests #422: Pull request #269 synchronize by davexparker
Queued davexparker:build
davexparker:build
Queued
Simplify build Regression tests #421: Pull request #269 synchronize by davexparker
15m 32s davexparker:build
davexparker:build
15m 32s
Simplify build Regression tests #420: Pull request #269 synchronize by davexparker
2m 15s davexparker:build
davexparker:build
2m 15s
Simplify build Regression tests #419: Pull request #269 synchronize by davexparker
3m 44s davexparker:build
davexparker:build
3m 44s
Simplify build Regression tests #418: Pull request #269 synchronize by davexparker
15m 36s davexparker:build
davexparker:build
15m 36s
Simplify build Regression tests #417: Pull request #269 synchronize by davexparker
17m 13s davexparker:build
davexparker:build
17m 13s
Simplify build Regression tests #416: Pull request #269 synchronize by davexparker
16m 29s davexparker:build
davexparker:build
16m 29s
Simplify build Regression tests #415: Pull request #269 synchronize by davexparker
11m 58s davexparker:build
davexparker:build
11m 58s
Simplify build Regression tests #414: Pull request #269 synchronize by davexparker
15m 2s davexparker:build
davexparker:build
15m 2s
Simplify build Regression tests #413: Pull request #269 synchronize by davexparker
15m 6s davexparker:build
davexparker:build
15m 6s
Simplify build Regression tests #412: Pull request #269 opened by davexparker
9m 50s davexparker:build
davexparker:build
9m 50s
Fix install.sh (breaks on some Linux distros: bash vs sh). Regression tests #411: Commit a140d7b pushed by davexparker
10m 9s master
master
10m 9s
Build/publish release binaries (Linux, Mac) Build/publish release binaries (Linux, Mac) #27: Manually run by davexparker
6m 35s master
master
6m 35s
Add source distribution to release building action. Regression tests #410: Commit 7a24369 pushed by davexparker
10m 9s master
master
10m 9s
Update and simplify Github Action for regression testing. Build/publish release binaries (Linux, Mac) #26: Pull request #268 synchronize by davexparker
4m 50s davexparker:test-action
davexparker:test-action
4m 50s
Update and simplify Github Action for regression testing. Regression tests #409: Pull request #268 by davexparker
Failure davexparker:test-action
davexparker:test-action
Failure
Update and simplify Github Action for regression testing. Build/publish release binaries (Linux, Mac) #25: Pull request #268 synchronize by davexparker
5m 14s davexparker:test-action
davexparker:test-action
5m 14s
Update and simplify Github Action for regression testing. Regression tests #408: Pull request #268 by davexparker
Failure davexparker:test-action
davexparker:test-action
Failure
Update and simplify Github Action for regression testing. Build/publish release binaries (Linux, Mac) #24: Pull request #268 synchronize by davexparker
7m 30s davexparker:test-action
davexparker:test-action
7m 30s
Update and simplify Github Action for regression testing. Regression tests #407: Pull request #268 by davexparker
Failure davexparker:test-action
davexparker:test-action
Failure