Skip to content

Actions: prismmodelchecker/prism

Actions

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

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #30: Manually run by davexparker
21s master
Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #29: Manually run by davexparker
4m 54s master
Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #28: Manually run by davexparker
6m 24s master
Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #27: Manually run by davexparker
6m 35s master
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #26: Pull request #268 synchronize by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #25: Pull request #268 synchronize by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #24: Pull request #268 synchronize by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #23: Pull request #268 synchronize by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #22: Pull request #268 synchronize by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #21: Pull request #268 synchronize by davexparker
Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #20: Manually run by davexparker
5m 59s master
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #19: Pull request #268 synchronize by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #18: Pull request #268 synchronize by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #17: Pull request #268 synchronize by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #16: Pull request #268 by davexparker
Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #15: Manually run by davexparker
4m 23s master
Build/publish release source & binaries (Linux, Mac, Windows)
Build/publish release source & binaries (Linux, Mac, Windows) #14: Manually run by davexparker
3m 7s master
GitHub action to build/test/publish Linux/Mac binaries.
Build/publish release source & binaries (Linux, Mac, Windows) #13: Commit c294a67 pushed by davexparker
3m 8s master
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #12: Pull request #268 synchronize by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #11: Pull request #268 synchronize by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #10: Pull request #268 by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #7: Pull request #268 synchronize by davexparker
Update and simplify Github Action for regression testing.
Build/publish release source & binaries (Linux, Mac, Windows) #6: Pull request #268 synchronize by davexparker