Skip to content

Actions: viperproject/smt-scope

Actions

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add VerCors instructions to README.md Continuous integration #38: Pull request #119 opened by bobismijnnaam
February 25, 2025 14:26 Action required bobismijnnaam:patch-1
bobismijnnaam:patch-1
February 25, 2025 14:26 Action required
Fix z3-scope compile error Continuous integration #37: Commit dccb13c pushed by JonasAlaif
February 14, 2025 00:28 17m 25s main
main
February 14, 2025 00:28 17m 25s
Fix broken links after name change Continuous integration #36: Commit fe1f82b pushed by JonasAlaif
February 13, 2025 23:43 17m 41s main
main
February 13, 2025 23:43 17m 41s
Fix broken links after name change Continuous integration #35: Commit c407c6a pushed by JonasAlaif
February 13, 2025 23:42 15m 27s main
main
February 13, 2025 23:42 15m 27s
Update README with new name Continuous integration #34: Commit 107ff71 pushed by JonasAlaif
February 13, 2025 13:32 15m 6s main
main
February 13, 2025 13:32 15m 6s
Update README with new name Continuous integration #33: Commit a1c6f62 pushed by JonasAlaif
February 13, 2025 13:31 15m 27s main
main
February 13, 2025 13:31 15m 27s
Update name (#118) Continuous integration #32: Commit d20a494 pushed by JonasAlaif
February 13, 2025 13:12 14m 1s main
main
February 13, 2025 13:12 14m 1s
Update name Continuous integration #31: Pull request #118 synchronize by JonasAlaif
February 13, 2025 13:12 14m 14s change-name
change-name
February 13, 2025 13:12 14m 14s
Update name Continuous integration #30: Pull request #118 synchronize by JonasAlaif
February 13, 2025 11:29 13m 24s change-name
change-name
February 13, 2025 11:29 13m 24s
Update name Continuous integration #29: Pull request #118 synchronize by JonasAlaif
February 13, 2025 11:14 14m 15s change-name
change-name
February 13, 2025 11:14 14m 15s
Update name Continuous integration #28: Pull request #118 synchronize by JonasAlaif
February 13, 2025 10:59 15m 23s change-name
change-name
February 13, 2025 10:59 15m 23s
Update name Continuous integration #27: Pull request #118 synchronize by JonasAlaif
February 13, 2025 00:48 16m 2s change-name
change-name
February 13, 2025 00:48 16m 2s
Update name Continuous integration #26: Pull request #118 synchronize by JonasAlaif
February 13, 2025 00:31 16m 39s change-name
change-name
February 13, 2025 00:31 16m 39s
Update name Continuous integration #25: Pull request #118 synchronize by JonasAlaif
February 13, 2025 00:23 3m 49s change-name
change-name
February 13, 2025 00:23 3m 49s
Update name Continuous integration #24: Pull request #118 synchronize by JonasAlaif
February 13, 2025 00:22 1m 11s change-name
change-name
February 13, 2025 00:22 1m 11s
Update name Continuous integration #23: Pull request #118 synchronize by JonasAlaif
February 12, 2025 14:52 8m 24s change-name
change-name
February 12, 2025 14:52 8m 24s
Update name Continuous integration #22: Pull request #118 opened by JonasAlaif
February 12, 2025 14:51 8m 38s change-name
change-name
February 12, 2025 14:51 8m 38s
Fix bug with parsing quantifier names with ! Continuous integration #21: Commit 33697d9 pushed by JonasAlaif
February 6, 2025 07:29 9m 6s main
main
February 6, 2025 07:29 9m 6s
Continuous integration Continuous integration #20: Scheduled
February 1, 2025 00:24 7m 8s main
main
February 1, 2025 00:24 7m 8s
Improve overview screen v2 (#116) Continuous integration #19: Commit a26b935 pushed by JonasAlaif
January 30, 2025 19:39 8m 23s main
main
January 30, 2025 19:39 8m 23s
Improve overview screen v2 Continuous integration #18: Pull request #116 opened by JonasAlaif
January 30, 2025 19:38 7m 42s small-imp
small-imp
January 30, 2025 19:38 7m 42s
Improve overview screen (#115) Continuous integration #17: Commit 7c4cb08 pushed by JonasAlaif
January 30, 2025 19:37 8m 58s main
main
January 30, 2025 19:37 8m 58s
Improve overview screen Continuous integration #16: Pull request #115 opened by JonasAlaif
January 30, 2025 14:48 7m 27s overview-imp
overview-imp
January 30, 2025 14:48 7m 27s
Fix missing mls (#114) Continuous integration #15: Commit 4522ef3 pushed by JonasAlaif
January 28, 2025 15:17 7m 49s main
main
January 28, 2025 15:17 7m 49s
Improve ML algo Continuous integration #14: Pull request #114 synchronize by JonasAlaif
January 28, 2025 14:58 6m 28s fix-missing-mls
fix-missing-mls
January 28, 2025 14:58 6m 28s