Skip to content

Actions: Ecdar/Reveaal

Actions

Check formatting

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 Check formatting #12: Commit 2db1a1d pushed by t-lohse
February 19, 2024 14:00 1m 4s SW5
SW5
February 19, 2024 14:00 1m 4s
refactor test to conform with rust standard Check formatting #11: Commit 16491df pushed by t-lohse
February 19, 2024 13:35 37s SW5
SW5
February 19, 2024 13:35 37s
IDE warnings fixed and upgraded to version 2021 Check formatting #10: Commit b23b6e9 pushed by t-lohse
February 19, 2024 09:31 1m 26s SW5
SW5
February 19, 2024 09:31 1m 26s
upd system Check formatting #9: Commit 12e00e8 pushed by t-lohse
February 12, 2024 14:31 51s SW5
SW5
February 12, 2024 14:31 51s
upd data_reader Check formatting #8: Commit 4925fbf pushed by t-lohse
February 12, 2024 11:15 1m 22s SW5
SW5
February 12, 2024 11:15 1m 22s
upd ci Check formatting #7: Commit 999234e pushed by t-lohse
February 12, 2024 09:42 1m 46s SW5
SW5
February 12, 2024 09:42 1m 46s
upd ci Check formatting #6: Commit 146eb04 pushed by t-lohse
February 12, 2024 09:40 1m 16s SW5
SW5
February 12, 2024 09:40 1m 16s
upd ci Check formatting #5: Commit c35d5b2 pushed by t-lohse
February 12, 2024 09:27 1m 24s SW5
SW5
February 12, 2024 09:27 1m 24s
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
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
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