Skip to content

Actions: Z3Prover/z3

Actions

Release Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
13 workflow runs
13 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
Release Build Release Build #13: Manually run by NikolajBjorner
54m 54s master
master
54m 54s
Release Build Release Build #12: Manually run by NikolajBjorner
54m 11s master
master
54m 11s
Release Build Release Build #11: Manually run by NikolajBjorner
54m 36s master
master
54m 36s
Release Build Release Build #10: Manually run by NikolajBjorner
55m 9s master
master
55m 9s
Release Build Release Build #9: Manually run by NikolajBjorner
54m 25s master
master
54m 25s
Release Build Release Build #8: Manually run by NikolajBjorner
51m 58s master
master
51m 58s
Release Build Release Build #7: Manually run by NikolajBjorner
50m 53s master
master
50m 53s
Release Build Release Build #6: Manually run by NikolajBjorner
50m 44s master
master
50m 44s
Release Build Release Build #5: Manually run by NikolajBjorner
51m 49s master
master
51m 49s
Release Build Release Build #4: Manually run by NikolajBjorner
50m 32s master
master
50m 32s
Release Build Release Build #3: Manually run by NikolajBjorner
52m 26s master
master
52m 26s
Release Build Release Build #2: Manually run by NikolajBjorner
52m 15s master
master
52m 15s
Release Build Release Build #1: Manually run by NikolajBjorner
48m 31s master
master
48m 31s