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

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 Scala CI #147: Commit 56a7579 pushed by SimplisticCode
December 18, 2023 06:55 2m 47s master
master
December 18, 2023 06:55 2m 47s
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 conf generation and parsing for FMI 3 Scala CI #146: Commit 43e4389 pushed by SimplisticCode
December 15, 2023 08:02 2m 51s master
master
December 15, 2023 08:02 2m 51s
Updated github workflow Scala CI #145: Commit b213013 pushed by SimplisticCode
December 14, 2023 20:14 3m 0s master
master
December 14, 2023 20:14 3m 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
Added some FMI 3 tests Scala CI #144: Commit 6bbf61d pushed by SimplisticCode
December 14, 2023 15:10 24s master
master
December 14, 2023 15:10 24s
Updated dockerfile and github actions Scala CI #143: Commit 2c16bbb pushed by SimplisticCode
December 14, 2023 13:30 25s master
master
December 14, 2023 13:30 25s
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
Updated dockerfile and github actions Scala CI #142: Commit 67eb223 pushed by SimplisticCode
December 14, 2023 13:21 22s master
master
December 14, 2023 13:21 22s
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
Fixed maven command Scala CI #141: Commit 63312e9 pushed by SimplisticCode
December 14, 2023 13:20 22s master
master
December 14, 2023 13:20 22s
Updated dockerfile and github actions Scala CI #140: Commit cf6c573 pushed by SimplisticCode
December 14, 2023 13:18 27s master
master
December 14, 2023 13:18 27s
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
Added logging Scala CI #139: Commit 4a0555a pushed by SimplisticCode
December 14, 2023 07:16 2m 12s master
master
December 14, 2023 07:16 2m 12s
Added scalafix Scenario Verifier #24: Commit 11f72b2 pushed by SimplisticCode
December 14, 2023 06:57 3m 42s master
master
December 14, 2023 06:57 3m 42s
Added scalafix Scala CI #138: Commit 11f72b2 pushed by SimplisticCode
December 14, 2023 06:57 3m 32s master
master
December 14, 2023 06:57 3m 32s
Updated testsuite Scala CI #137: Commit 448443b pushed by SimplisticCode
December 14, 2023 06:50 3m 9s master
master
December 14, 2023 06:50 3m 9s
Updated testsuite Scenario Verifier #23: Commit 448443b pushed by SimplisticCode
December 14, 2023 06:50 3m 39s master
master
December 14, 2023 06:50 3m 39s
Included scenariobuilder tests Scenario Verifier #22: Commit 40945e5 pushed by SimplisticCode
December 14, 2023 06:36 3m 38s master
master
December 14, 2023 06:36 3m 38s
Included scenariobuilder tests Scala CI #136: Commit 40945e5 pushed by SimplisticCode
December 14, 2023 06:36 2m 9s master
master
December 14, 2023 06:36 2m 9s