Skip to content

Actions: Ecdar/Reveaal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix formatting Check formatting #4: Commit 4b41da7 pushed by t-lohse
February 12, 2024 09:13 45s SW5
SW5
February 12, 2024 09:13 45s
fix formatting Build Artifacts #139: Commit 4b41da7 pushed by t-lohse
February 12, 2024 09:13 2m 1s SW5
SW5
February 12, 2024 09:13 2m 1s
upd submodule Run Tests #3: Commit f023214 pushed by t-lohse
February 12, 2024 09:07 1m 54s SW5
SW5
February 12, 2024 09:07 1m 54s
upd submodule Build Artifacts #138: Commit f023214 pushed by t-lohse
February 12, 2024 09:07 2m 43s SW5
SW5
February 12, 2024 09:07 2m 43s
upd submodule Check formatting #3: Commit f023214 pushed by t-lohse
February 12, 2024 09:07 52s SW5
SW5
February 12, 2024 09:07 52s
upd submodule Check formatting #2: Commit 46fdff9 pushed by t-lohse
February 12, 2024 09:04 36s SW5
SW5
February 12, 2024 09:04 36s
upd submodule Run Tests #2: Commit 46fdff9 pushed by t-lohse
February 12, 2024 09:04 15s SW5
SW5
February 12, 2024 09:04 15s
upd submodule Build Artifacts #137: Commit 46fdff9 pushed by t-lohse
February 12, 2024 09:04 21s SW5
SW5
February 12, 2024 09:04 21s
SW5 (#177) Check formatting #1: Commit 60bbb2a pushed by t-lohse
February 12, 2024 08:58 1m 24s SW5
SW5
February 12, 2024 08:58 1m 24s
SW5 (#177) Run Tests #1: Commit 60bbb2a pushed by t-lohse
February 12, 2024 08:58 2m 1s SW5
SW5
February 12, 2024 08:58 2m 1s
SW5 (#177) Build Artifacts #136: Commit 60bbb2a pushed by t-lohse
February 12, 2024 08:58 4m 21s SW5
SW5
February 12, 2024 08:58 4m 21s
Add the full state to step response (#171) Validation #509: Commit b338fa2 pushed by t-lohse
December 13, 2023 17:32 1m 48s SW5
SW5
December 13, 2023 17:32 1m 48s