Skip to content

Actions: prismmodelchecker/prism-games

Actions

Build/publish release source & binaries (Linux, Mac, Windows)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Version info.
Build/publish release source & binaries (Linux, Mac, Windows) #9: Commit 984de65 pushed by davexparker
6m 24s v3.2.4
Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #8: Manually run by davexparker
5m 54s master
Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #7: Manually run by davexparker
4m 50s master
Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #6: Manually run by davexparker
59s master
Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #5: Manually run by davexparker
5m 5s master
Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #4: Manually run by davexparker
6m 30s master
Update release build actions for PRISM-games.
Build/publish release source & binaries (Linux, Mac, Windows) #3: Pull request #20 synchronize by davexparker
Update release build actions for PRISM-games.
Build/publish release source & binaries (Linux, Mac, Windows) #2: Pull request #20 synchronize by davexparker
Update release build actions for PRISM-games.
Build/publish release source & binaries (Linux, Mac, Windows) #1: Pull request #20 opened by davexparker