Skip to content

Actions: INTO-CPS-Association/Scenario-Verifier

Actions

Scenario Verifier

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven.yml
49 workflow runs
49 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
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
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
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
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 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 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 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 references and Z3 api Scenario Verifier #34: Commit 2bf7fb9 pushed by SimplisticCode
December 18, 2023 09:47 3m 35s master
master
December 18, 2023 09:47 3m 35s
Refactored FMI structure Scenario Verifier #33: Commit 56a7579 pushed by SimplisticCode
December 18, 2023 06:55 3m 43s master
master
December 18, 2023 06:55 3m 43s
Updated conf generation and parsing for FMI 3 Scenario Verifier #32: Commit 43e4389 pushed by SimplisticCode
December 15, 2023 08:02 4m 0s master
master
December 15, 2023 08:02 4m 0s
Updated github workflow Scenario Verifier #31: Commit b213013 pushed by SimplisticCode
December 14, 2023 20:14 4m 6s master
master
December 14, 2023 20:14 4m 6s
Added some FMI 3 tests Scenario Verifier #30: Commit 6bbf61d pushed by SimplisticCode
December 14, 2023 15:10 3m 54s master
master
December 14, 2023 15:10 3m 54s
Updated dockerfile and github actions Scenario Verifier #29: Commit 2c16bbb pushed by SimplisticCode
December 14, 2023 13:30 3m 57s master
master
December 14, 2023 13:30 3m 57s
Updated dockerfile and github actions Scenario Verifier #28: Commit 67eb223 pushed by SimplisticCode
December 14, 2023 13:21 3m 58s master
master
December 14, 2023 13:21 3m 58s
Fixed maven command Scenario Verifier #27: Commit 63312e9 pushed by SimplisticCode
December 14, 2023 13:20 4m 4s master
master
December 14, 2023 13:20 4m 4s
Updated dockerfile and github actions Scenario Verifier #26: Commit cf6c573 pushed by SimplisticCode
December 14, 2023 13:18 4m 13s master
master
December 14, 2023 13:18 4m 13s
Added logging Scenario Verifier #25: Commit 4a0555a pushed by SimplisticCode
December 14, 2023 07:16 3m 51s master
master
December 14, 2023 07:16 3m 51s