Skip to content

Actions: Z3Prover/z3

Actions

Code Simplifier

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code-simplifier.lock.yml
176 workflow runs
176 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 #176: Manually run by NikolajBjorner
5m 19s master
master
5m 19s
Code Simplifier Code Simplifier #175: Scheduled
5m 17s master
master
5m 17s
Code Simplifier Code Simplifier #174: Scheduled
3m 22s master
master
3m 22s
Code Simplifier Code Simplifier #173: Scheduled
28m 56s master
master
28m 56s
Code Simplifier Code Simplifier #172: Scheduled
4m 37s master
master
4m 37s
Code Simplifier Code Simplifier #171: Scheduled
4m 16s master
master
4m 16s
Code Simplifier Code Simplifier #170: Scheduled
3m 31s master
master
3m 31s
Code Simplifier Code Simplifier #169: Scheduled
3m 30s master
master
3m 30s
Code Simplifier Code Simplifier #168: Scheduled
3m 26s master
master
3m 26s
Code Simplifier Code Simplifier #167: Scheduled
3m 48s master
master
3m 48s
Code Simplifier Code Simplifier #166: Scheduled
3m 27s master
master
3m 27s
Code Simplifier Code Simplifier #165: Scheduled
3m 5s master
master
3m 5s
Code Simplifier Code Simplifier #164: Scheduled
3m 43s master
master
3m 43s
Code Simplifier Code Simplifier #163: Scheduled
4m 13s master
master
4m 13s
Code Simplifier Code Simplifier #162: Scheduled
4m 28s master
master
4m 28s
Code Simplifier Code Simplifier #161: Scheduled
5m 35s master
master
5m 35s
Code Simplifier Code Simplifier #160: Scheduled
3m 30s master
master
3m 30s
Code Simplifier Code Simplifier #159: Scheduled
1m 48s master
master
1m 48s
Code Simplifier Code Simplifier #158: Scheduled
2m 57s master
master
2m 57s
Code Simplifier Code Simplifier #157: Scheduled
2m 19s master
master
2m 19s
Code Simplifier Code Simplifier #156: Scheduled
2m 57s master
master
2m 57s
Code Simplifier Code Simplifier #155: Scheduled
1m 40s master
master
1m 40s
Code Simplifier Code Simplifier #154: Scheduled
1m 38s master
master
1m 38s
Code Simplifier Code Simplifier #153: Scheduled
2m 19s master
master
2m 19s
Code Simplifier Code Simplifier #152: Scheduled
1m 29s master
master
1m 29s