Skip to content

Actions: INTO-CPS-Association/Scenario-Verifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update release.yml fixed url issue in release notes Scenario Verifier #49: Commit 1963423 pushed by lausdahl
February 19, 2024 14:19 1m 50s development
development
February 19, 2024 14:19 1m 50s
only enforce no snapshot on release relaxe +only add for actual builds Scenario Verifier #48: Commit 9416ec6 pushed by lausdahl
January 5, 2024 09:22 1m 36s development
development
January 5, 2024 09:22 1m 36s
only enforce no snapshot on release Scenario Verifier #47: Commit 97cf320 pushed by lausdahl
January 5, 2024 08:40 1m 37s development
development
January 5, 2024 08:40 1m 37s
set profile for all stages Scenario Verifier #46: Commit 8b24a92 pushed by lausdahl
January 4, 2024 16:38 1m 39s development
development
January 4, 2024 16:38 1m 39s
Release new version Release new version #7: Manually run by lausdahl
January 4, 2024 11:36 7m 35s development
development
January 4, 2024 11:36 7m 35s
changed release profile Scenario Verifier #45: Commit 6aa71e2 pushed by lausdahl
January 4, 2024 11:36 1m 36s development
development
January 4, 2024 11:36 1m 36s
Release new version Release new version #6: Manually run by lausdahl
January 4, 2024 11:20 6m 53s development
development
January 4, 2024 11:20 6m 53s
adding quotes for windows Scenario Verifier #44: Commit bf2927c pushed by lausdahl
January 4, 2024 11:20 1m 39s development
development
January 4, 2024 11:20 1m 39s
Release new version Release new version #5: Manually run by lausdahl
January 4, 2024 10:59 5m 30s development
development
January 4, 2024 10:59 5m 30s
updated java in release to JAVA_VERSION: 11.0.3 Scenario Verifier #43: Commit 9590057 pushed by lausdahl
January 4, 2024 10:59 1m 37s development
development
January 4, 2024 10:59 1m 37s
Release new version Release new version #4: Manually run by lausdahl
January 4, 2024 10:54 2m 53s development
development
January 4, 2024 10:54 2m 53s
changed to new versioning scheme and added release ci job Scenario Verifier #42: Commit db5d256 pushed by lausdahl
January 4, 2024 10:51 1m 45s development
development
January 4, 2024 10:51 1m 45s
removed scala stuff Scenario Verifier #41: Commit ba70e8d pushed by lausdahl
January 4, 2024 10:24 3m 32s master
master
January 4, 2024 10:24 3m 32s
Update scala.yml Scenario Verifier #40: Commit 88f24b2 pushed by lausdahl
January 4, 2024 10:03 3m 26s master
master
January 4, 2024 10:03 3m 26s
Added mechanism to keep uppaal file for debugging Scala CI #153: Commit c8dd0bb pushed by SimplisticCode
January 2, 2024 09:58 2m 40s master
master
January 2, 2024 09:58 2m 40s
Added mechanism to keep uppaal file for debugging Scenario Verifier #39: Commit c8dd0bb pushed by SimplisticCode
January 2, 2024 09:58 3m 55s master
master
January 2, 2024 09:58 3m 55s
Updated scenarioLoading Scenario Verifier #38: Commit e255c3b pushed by SimplisticCode
December 20, 2023 12:18 3m 31s master
master
December 20, 2023 12:18 3m 31s
Updated scenarioLoading Scala CI #152: Commit e255c3b pushed by SimplisticCode
December 20, 2023 12:18 2m 43s master
master
December 20, 2023 12:18 2m 43s
Updated scenarioLoading Scenario Verifier #37: Commit 5ecaae8 pushed by SimplisticCode
December 20, 2023 12:14 1m 1s master
master
December 20, 2023 12:14 1m 1s
Updated scenarioLoading Scala CI #151: Commit 5ecaae8 pushed by SimplisticCode
December 20, 2023 12:14 59s master
master
December 20, 2023 12:14 59s
Updated scenarioLoading Scala CI #150: Commit 6ccdbfd pushed by SimplisticCode
December 20, 2023 12:01 1m 0s master
master
December 20, 2023 12:01 1m 0s
Updated scenarioLoading Scenario Verifier #36: Commit 6ccdbfd pushed by SimplisticCode
December 20, 2023 12:01 1m 7s master
master
December 20, 2023 12:01 1m 7s
Updated scenarioLoading Scenario Verifier #35: Commit 143c14b pushed by SimplisticCode
December 18, 2023 10:45 3m 56s master
master
December 18, 2023 10:45 3m 56s
Updated scenarioLoading Scala CI #149: Commit 143c14b pushed by SimplisticCode
December 18, 2023 10:45 2m 42s master
master
December 18, 2023 10:45 2m 42s
Updated references and Z3 api Scala CI #148: Commit 2bf7fb9 pushed by SimplisticCode
December 18, 2023 09:47 2m 43s master
master
December 18, 2023 09:47 2m 43s