Skip to content

Actions: prismmodelchecker/prism

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
197 workflow runs
197 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
Copilot code review Copilot code review #4: by Copilot AI
8m 46s refs/pull/149/head
refs/pull/149/head
8m 46s
MDP solution via linear programming for explicit engine. Regression tests #481: Pull request #149 synchronize by davexparker
9m 19s davexparker:lp
davexparker:lp
9m 19s
Explicit engine until precomp bugfix. Regression tests #480: Commit dd6e603 pushed by davexparker
9m 23s master
master
9m 23s
Fix -exportstrat stdout.<ext> handling. Regression tests #479: Commit e1650c0 pushed by davexparker
9m 36s master
master
9m 36s
Copilot code review Copilot code review #3: by Copilot AI
2m 37s refs/pull/278/head
refs/pull/278/head
2m 37s
Fix -exportstrat stdout.<ext> handling Regression tests #478: Pull request #278 opened by davexparker
9m 19s davexparker:strat-stdout
davexparker:strat-stdout
9m 19s
Add prism-download.sh script to download GH release assets. Regression tests #477: Commit 8a05345 pushed by davexparker
9m 49s master
master
9m 49s
Remove old Windows release GH action. Regression tests #476: Commit ed25567 pushed by davexparker
9m 44s master
master
9m 44s
Merge Windows build into GH release action. Regression tests #475: Commit 76395a0 pushed by davexparker
10m 22s master
master
10m 22s
GH release action: trigger on tag push. Regression tests #474: Commit c9ca3d3 pushed by davexparker
9m 31s master
master
9m 31s
Fix version comparison. Regression tests #473: Commit 3023ec1 pushed by davexparker
9m 7s master
master
9m 7s
Version handling Regression tests #472: Pull request #277 synchronize by davexparker
9m 47s davexparker:versions
davexparker:versions
9m 47s
Version handling Regression tests #471: Pull request #277 opened by davexparker
9m 56s davexparker:versions
davexparker:versions
9m 56s
Copilot code review Copilot code review #2: by Copilot AI
5m 34s refs/pull/277/head
refs/pull/277/head
5m 34s
PrismLog usage bug fixes. Regression tests #470: Commit 16ddc99 pushed by davexparker
10m 3s master
master
10m 3s
Build/publish release source & binaries (Linux, Mac, Windows) Build/publish release source & binaries (Linux, Mac, Windows) #30: Manually run by davexparker
21s master
master
21s
Build/publish release binaries (Windows) Build/publish release binaries (Windows) #14: Manually run by davexparker
7m 9s master
master
7m 9s
Build/publish release source & binaries (Linux, Mac, Windows) Build/publish release source & binaries (Linux, Mac, Windows) #29: Manually run by davexparker
4m 54s master
master
4m 54s
Version info. Regression tests #469: Commit 22f0589 pushed by davexparker
10m 27s master
master
10m 27s
Build/publish release binaries (Windows) Build/publish release binaries (Windows) #13: Manually run by davexparker
6m 59s master
master
6m 59s
Build/publish release source & binaries (Linux, Mac, Windows) Build/publish release source & binaries (Linux, Mac, Windows) #28: Manually run by davexparker
6m 24s master
master
6m 24s
Update manual. Regression tests #468: Commit f082f33 pushed by davexparker
9m 40s master
master
9m 40s
Version info. Regression tests #467: Commit 11c81be pushed by davexparker
11m 54s master
master
11m 54s
Update CHANGELOG. Regression tests #466: Commit dfd9bb2 pushed by davexparker
8m 40s master
master
8m 40s
Default constructor Prism() for main Prism API. Regression tests #465: Commit 9867822 pushed by davexparker
9m 56s master
master
9m 56s