Skip to content

Actions: Z3Prover/z3

Actions

Code Simplifier

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code Simplifier Code Simplifier #19: Scheduled
7m 8s master
master
7m 8s
Code Simplifier Code Simplifier #18: Scheduled
23m 44s master
master
23m 44s
Code Simplifier Code Simplifier #17: Scheduled
6m 23s master
master
6m 23s
Code Simplifier Code Simplifier #16: Scheduled
21m 53s master
master
21m 53s
Code Simplifier Code Simplifier #15: Scheduled
6m 27s master
master
6m 27s
Code Simplifier Code Simplifier #14: Scheduled
7m 27s master
master
7m 27s
Code Simplifier Code Simplifier #13: Scheduled
11m 39s master
master
11m 39s
Code Simplifier Code Simplifier #12: Scheduled
4m 10s master
master
4m 10s
Code Simplifier Code Simplifier #11: Scheduled
4m 50s master
master
4m 50s
Code Simplifier Code Simplifier #10: Scheduled
21m 59s master
master
21m 59s
Code Simplifier Code Simplifier #9: Scheduled
5m 10s master
master
5m 10s
Code Simplifier Code Simplifier #8: Scheduled
5m 27s master
master
5m 27s
Code Simplifier Code Simplifier #7: Scheduled
4m 57s master
master
4m 57s
Code Simplifier Code Simplifier #6: Scheduled
26m 18s master
master
26m 18s
Code Simplifier Code Simplifier #5: Scheduled
6m 12s master
master
6m 12s
Code Simplifier Code Simplifier #4: Scheduled
4m 23s master
master
4m 23s
Code Simplifier Code Simplifier #3: Scheduled
5m 24s master
master
5m 24s
Code Simplifier Code Simplifier #2: Manually run by NikolajBjorner
4m 51s master
master
4m 51s
Code Simplifier Code Simplifier #1: Manually run by NikolajBjorner
27m 23s master
master
27m 23s