Skip to content

Actions: paultristanwagner/model-checking

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Build #63: Commit 6225523 pushed by paultristanwagner
November 15, 2024 21:28 36s main
main
November 15, 2024 21:28 36s
Update README.md Build #62: Commit 1b8ebcb pushed by paultristanwagner
November 15, 2024 21:27 29s main
main
November 15, 2024 21:27 29s
Add release-tag workflow Build #61: Commit 4aba0c2 pushed by paultristanwagner
November 15, 2024 21:09 35s main
main
November 15, 2024 21:09 35s
Add release-tag workflow Build #60: Commit cb534bc pushed by paultristanwagner
November 15, 2024 21:06 14s main
main
November 15, 2024 21:06 14s
Add release-tag workflow Build #59: Commit 2638ab8 pushed by paultristanwagner
November 15, 2024 21:03 30s main
main
November 15, 2024 21:03 30s
Add release-tag workflow Build #58: Commit 526e43c pushed by paultristanwagner
November 15, 2024 21:02 55s main
main
November 15, 2024 21:02 55s
Add release-tag workflow Build #57: Commit c9f5d71 pushed by paultristanwagner
November 15, 2024 20:57 45s main
main
November 15, 2024 20:57 45s
Add release-tag workflow Build #56: Commit d7cc6da pushed by paultristanwagner
November 15, 2024 20:51 15s main
main
November 15, 2024 20:51 15s
Add release-tag workflow Build #55: Commit 3b60cc6 pushed by paultristanwagner
November 15, 2024 20:49 19s main
main
November 15, 2024 20:49 19s
Add release-tag workflow Build #54: Commit e8bc9d1 pushed by paultristanwagner
November 15, 2024 20:47 9s main
main
November 15, 2024 20:47 9s
Add release-tag workflow Build #53: Commit 094fe14 pushed by paultristanwagner
November 15, 2024 20:38 17s main
main
November 15, 2024 20:38 17s
Add release-tag workflow Build #52: Commit e4f58af pushed by paultristanwagner
November 15, 2024 20:38 3m 11s main
main
November 15, 2024 20:38 3m 11s
Add release-tag workflow Build #51: Commit 643e086 pushed by paultristanwagner
November 15, 2024 20:34 58s main
main
November 15, 2024 20:34 58s
Add release-tag workflow Build #50: Commit 6266fc0 pushed by paultristanwagner
November 15, 2024 20:30 51s main
main
November 15, 2024 20:30 51s
Add release-tag workflow Build #49: Commit 046e6b9 pushed by paultristanwagner
November 15, 2024 20:27 52s main
main
November 15, 2024 20:27 52s
Add release-tag workflow Build #48: Commit a01d66e pushed by paultristanwagner
November 15, 2024 20:25 51s main
main
November 15, 2024 20:25 51s
Build Build #47: by paultristanwagner
November 15, 2024 20:21 50s main
main
November 15, 2024 20:21 50s
Add release-tag workflow Build #46: Commit 96f6a14 pushed by paultristanwagner
November 15, 2024 20:20 51s main
main
November 15, 2024 20:20 51s
Add release-tag workflow Build #45: Commit 1413b37 pushed by paultristanwagner
November 15, 2024 20:18 54s main
main
November 15, 2024 20:18 54s
Add release-tag workflow Build #44: Commit 6a26608 pushed by paultristanwagner
November 15, 2024 20:17 50s main
main
November 15, 2024 20:17 50s
Add release-tag workflow Build #43: Commit 5a294f7 pushed by paultristanwagner
November 15, 2024 20:11 53s main
main
November 15, 2024 20:11 53s
Add release-tag workflow Build #42: Commit c8ea622 pushed by paultristanwagner
November 15, 2024 20:04 48s main
main
November 15, 2024 20:04 48s
Add release-tag workflow Build #41: Commit da909ad pushed by paultristanwagner
November 15, 2024 20:00 55s main
main
November 15, 2024 20:00 55s
Fix typo Build #39: Commit 26e56aa pushed by paultristanwagner
February 5, 2024 17:37 57s main
main
February 5, 2024 17:37 57s
Generify TS, modify transitions and general clean up Build #38: Commit d3891f5 pushed by paultristanwagner
October 12, 2023 17:50 3m 27s main
main
October 12, 2023 17:50 3m 27s