Skip to content

Actions: Echtzeitsysteme/tchecker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fixed Mem Leak (#33) Build and Distribute TChecker Library #61: Commit d7284a8 pushed by alzeha
47m 27s master
master
47m 27s
Fixed Mem Leak (#33) Build and test TChecker #361: Commit d7284a8 pushed by alzeha
15m 56s master
master
15m 56s
bugfix Build and Distribute TChecker Library #60: Commit 56aeba1 pushed by alzeha
51m 9s master
master
51m 9s
bugfix Build and test TChecker #358: Commit 56aeba1 pushed by alzeha
10m 39s master
master
10m 39s
Create strategy (#32) Build and test TChecker #357: Commit 7372e91 pushed by alzeha
18m 53s master
master
18m 53s
Create strategy (#32) Build and Distribute TChecker Library #59: Commit 7372e91 pushed by alzeha
52m 12s master
master
52m 12s
bugfix and changed test structure (#31) Build and Distribute TChecker Library #58: Commit b76edbd pushed by alzeha
49m 47s master
master
49m 47s
bugfix and changed test structure (#31) Build and test TChecker #337: Commit b76edbd pushed by alzeha
15m 46s master
master
15m 46s
Several Bugfixes (#30) Build and Distribute TChecker Library #57: Commit db4cde6 pushed by alzeha
47m 13s master
master
47m 13s
Several Bugfixes (#30) Build and test TChecker #334: Commit db4cde6 pushed by alzeha
14m 41s master
master
14m 41s
bugfix vm-creator #40: Commit cf251f5 pushed by alzeha
26m 54s master
master
26m 54s
bugfix Build and Distribute TChecker Library #56: Commit cf251f5 pushed by alzeha
23m 12s master
master
23m 12s
bugfix Build and test TChecker #324: Commit cf251f5 pushed by alzeha
14m 4s master
master
14m 4s
Improve extrapolation (#28) Build and Distribute TChecker Library #55: Commit 137985b pushed by alzeha
20m 28s master
master
20m 28s
Improve extrapolation (#28) vm-creator #39: Commit 137985b pushed by alzeha
3h 45m 26s master
master
3h 45m 26s
Improve extrapolation (#28) Build and test TChecker #322: Commit 137985b pushed by alzeha
14m 20s master
master
14m 20s
Add mutants for train-gate (#26) vm-creator #38: Commit 5bbb2dc pushed by alzeha
22m 40s master
master
22m 40s
Add mutants for train-gate (#26) Build and Distribute TChecker Library #54: Commit 5bbb2dc pushed by alzeha
22m 5s master
master
22m 5s
Add mutants for train-gate (#26) Build and test TChecker #319: Commit 5bbb2dc pushed by alzeha
13m 37s master
master
13m 37s
Feature/json for compare (#23) vm-creator #37: Commit 3e2c4d9 pushed by alzeha
30m 53s master
master
30m 53s
Feature/json for compare (#23) Build and test TChecker #318: Commit 3e2c4d9 pushed by alzeha
14m 19s master
master
14m 19s
Added mutants for train-gate (#25) Build and test TChecker #316: Commit 5b39540 pushed by alzeha
14m 17s master
master
14m 17s
Added mutants for train-gate (#25) vm-creator #36: Commit 5b39540 pushed by alzeha
29m 1s master
master
29m 1s
Added mutants for train-gate (#25) Build and Distribute TChecker Library #52: Commit 5b39540 pushed by alzeha
23m 44s master
master
23m 44s
Improved edge cleanup (#24) vm-creator #35: Commit f0adf5a pushed by alzeha
24m 32s master
master
24m 32s