Skip to content

Actions: Ecdar/Reveaal

Actions

Run Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

impl From trait instead Run Tests #12: Commit 2db1a1d pushed by t-lohse
February 19, 2024 14:00 1m 0s SW5
SW5
February 19, 2024 14:00 1m 0s
refactor test to conform with rust standard Run Tests #11: Commit 16491df pushed by t-lohse
February 19, 2024 13:35 1m 9s SW5
SW5
February 19, 2024 13:35 1m 9s
IDE warnings fixed and upgraded to version 2021 Run Tests #10: Commit b23b6e9 pushed by t-lohse
February 19, 2024 09:31 2m 12s SW5
SW5
February 19, 2024 09:31 2m 12s
upd system Run Tests #9: Commit 12e00e8 pushed by t-lohse
February 12, 2024 14:31 58s SW5
SW5
February 12, 2024 14:31 58s
upd data_reader Run Tests #8: Commit 4925fbf pushed by t-lohse
February 12, 2024 11:15 1m 53s SW5
SW5
February 12, 2024 11:15 1m 53s
upd ci Run Tests #7: Commit 999234e pushed by t-lohse
February 12, 2024 09:42 1m 49s SW5
SW5
February 12, 2024 09:42 1m 49s
upd ci Run Tests #6: Commit 146eb04 pushed by t-lohse
February 12, 2024 09:40 1m 47s SW5
SW5
February 12, 2024 09:40 1m 47s
upd ci Run Tests #5: Commit c35d5b2 pushed by t-lohse
February 12, 2024 09:27 1m 56s SW5
SW5
February 12, 2024 09:27 1m 56s
fix formatting Run Tests #4: Commit 4b41da7 pushed by t-lohse
February 12, 2024 09:13 1m 50s SW5
SW5
February 12, 2024 09:13 1m 50s
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 Run Tests #2: Commit 46fdff9 pushed by t-lohse
February 12, 2024 09:04 15s SW5
SW5
February 12, 2024 09:04 15s
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