Skip to content

Actions: Echtzeitsysteme/tchecker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix pipeline (#9) Build and test TChecker #151: Commit 661ef25 pushed by alzeha
September 24, 2024 12:12 8m 16s master
master
September 24, 2024 12:12 8m 16s
wip Build and test TChecker #150: Commit 38df0a5 pushed by alzeha
September 24, 2024 12:01 8m 21s fix_pipeline
fix_pipeline
September 24, 2024 12:01 8m 21s
wiP Build and test TChecker #149: Commit 6b6026b pushed by alzeha
September 24, 2024 11:50 7m 32s fix_pipeline
fix_pipeline
September 24, 2024 11:50 7m 32s
wip Build and test TChecker #148: Commit 6d9192e pushed by alzeha
September 24, 2024 11:32 8m 10s fix_pipeline
fix_pipeline
September 24, 2024 11:32 8m 10s
wip Build and test TChecker #147: Commit 3e74abe pushed by alzeha
September 24, 2024 10:57 4m 24s fix_pipeline
fix_pipeline
September 24, 2024 10:57 4m 24s
wip Build and test TChecker #146: Commit df2755d pushed by alzeha
September 24, 2024 10:33 7m 24s fix_pipeline
fix_pipeline
September 24, 2024 10:33 7m 24s
fixed pipeline Build and test TChecker #145: Commit 23c9afc pushed by alzeha
September 24, 2024 09:54 8m 3s fix_pipeline
fix_pipeline
September 24, 2024 09:54 8m 3s
Develop/add unit tests (#8) Build and test TChecker #144: Commit fcc5712 pushed by alzeha
September 24, 2024 09:01 7m 50s master
master
September 24, 2024 09:01 7m 50s
cleanup Build and test TChecker #143: Commit fb87ae9 pushed by alzeha
September 24, 2024 08:37 7m 22s develop/add-unit-tests
develop/add-unit-tests
September 24, 2024 08:37 7m 22s
removed part of the code which was not present anymore in master Build and test TChecker #142: Commit c5ec7b3 pushed by Schulzen
September 24, 2024 07:33 7m 20s develop/add-unit-tests
develop/add-unit-tests
September 24, 2024 07:33 7m 20s
bugfix Build and test TChecker #141: Commit 4d429b8 pushed by alzeha
September 19, 2024 07:47 8m 6s master
master
September 19, 2024 07:47 8m 6s
changed position of sync Build and test TChecker #140: Commit 53da986 pushed by alzeha
August 30, 2024 09:18 8m 4s master
master
August 30, 2024 09:18 8m 4s
Improved non-determ cases Build and test TChecker #139: Commit f5dac3a pushed by alzeha
August 29, 2024 09:45 8m 24s master
master
August 29, 2024 09:45 8m 24s
improved non-deterministic Build and test TChecker #138: Commit 7ad2c21 pushed by alzeha
August 28, 2024 12:40 8m 17s master
master
August 28, 2024 12:40 8m 17s
Clang 18 (#7) Build and test TChecker #137: Commit 992467d pushed by alzeha
August 23, 2024 11:44 8m 4s master
master
August 23, 2024 11:44 8m 4s
another alignment Build and test TChecker #127: Commit 77e0f85 pushed by alzeha
August 8, 2024 09:54 8m 7s master
master
August 8, 2024 09:54 8m 7s
aligned code to the TR Build and test TChecker #126: Commit 78fcbb2 pushed by alzeha
June 26, 2024 15:33 8m 25s master
master
June 26, 2024 15:33 8m 25s
new version of algorithm Build and test TChecker #125: Commit 7bca85e pushed by alzeha
June 26, 2024 14:36 8m 3s master
master
June 26, 2024 14:36 8m 3s
aligning code to the TR Build and test TChecker #107: Commit cd24a58 pushed by alzeha
March 29, 2024 09:16 7m 28s master
master
March 29, 2024 09:16 7m 28s
very first working version Build and test TChecker #97: Commit 18248a9 pushed by alzeha
February 23, 2024 16:52 7m 37s intermediate
intermediate
February 23, 2024 16:52 7m 37s