Skip to content

Actions: Z3Prover/z3

Actions

Code Simplifier

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code-simplifier.lock.yml
103 workflow runs
103 workflow runs

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
Code Simplifier Code Simplifier #103: Scheduled
3m 28s master
master
3m 28s
Code Simplifier Code Simplifier #102: Scheduled
6m 40s master
master
6m 40s
Code Simplifier Code Simplifier #101: Scheduled
9m 26s master
master
9m 26s
Code Simplifier Code Simplifier #100: Scheduled
6m 41s master
master
6m 41s
Code Simplifier Code Simplifier #99: Scheduled
6m 18s master
master
6m 18s
Code Simplifier Code Simplifier #98: Scheduled
7m 24s master
master
7m 24s
Code Simplifier Code Simplifier #97: Scheduled
3m 52s master
master
3m 52s
Code Simplifier Code Simplifier #96: Scheduled
1m 13s master
master
1m 13s
Code Simplifier Code Simplifier #95: Scheduled
1m 3s master
master
1m 3s
Code Simplifier Code Simplifier #94: Scheduled
1m 19s master
master
1m 19s
Code Simplifier Code Simplifier #93: Scheduled
1m 59s master
master
1m 59s
Code Simplifier Code Simplifier #92: Scheduled
12m 24s master
master
12m 24s
Code Simplifier Code Simplifier #91: Scheduled
2m 50s master
master
2m 50s
Code Simplifier Code Simplifier #90: Scheduled
13m 42s master
master
13m 42s
Code Simplifier Code Simplifier #89: Scheduled
4m 9s master
master
4m 9s
Code Simplifier Code Simplifier #88: Scheduled
6m 2s master
master
6m 2s
Code Simplifier Code Simplifier #87: Scheduled
4m 33s master
master
4m 33s
Code Simplifier Code Simplifier #86: Scheduled
4m 44s master
master
4m 44s
Code Simplifier Code Simplifier #85: Scheduled
6m 59s master
master
6m 59s
Code Simplifier Code Simplifier #84: Scheduled
10m 45s master
master
10m 45s
Code Simplifier Code Simplifier #83: Scheduled
4m 35s master
master
4m 35s
Code Simplifier Code Simplifier #82: Scheduled
43s master
master
43s
Code Simplifier Code Simplifier #81: Scheduled
3m 11s master
master
3m 11s
Code Simplifier Code Simplifier #80: Scheduled
8m 41s master
master
8m 41s
Code Simplifier Code Simplifier #79: Scheduled
8m 41s master
master
8m 41s