Skip to content

Actions: Z3Prover/z3

Actions

Android Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
android-build.yml
742 workflow runs
742 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Android Build Android Build #3164: Scheduled
11m 19s master
master
11m 19s
Android Build Android Build #3163: Scheduled
10m 57s master
master
10m 57s
Android Build Android Build #3162: Scheduled
11m 6s master
master
11m 6s
Android Build Android Build #3161: Scheduled
11m 5s master
master
11m 5s
Android Build Android Build #3160: Scheduled
10m 51s master
master
10m 51s
Android Build Android Build #3159: Scheduled
10m 45s master
master
10m 45s
Android Build Android Build #3158: Scheduled
10m 59s master
master
10m 59s
Android Build Android Build #3157: Scheduled
11m 12s master
master
11m 12s
Android Build Android Build #3156: Scheduled
11m 1s master
master
11m 1s
Android Build Android Build #3155: Scheduled
11m 24s master
master
11m 24s
Android Build Android Build #3154: Scheduled
11m 3s master
master
11m 3s
Android Build Android Build #3153: Scheduled
10m 58s master
master
10m 58s
Android Build Android Build #3152: Scheduled
12m 20s master
master
12m 20s
Android Build Android Build #3151: Scheduled
11m 42s master
master
11m 42s
Android Build Android Build #3150: Scheduled
11m 37s master
master
11m 37s
Android Build Android Build #3149: Scheduled
11m 49s master
master
11m 49s
Android Build Android Build #3148: Scheduled
22m 1s master
master
22m 1s
Android Build Android Build #3147: Scheduled
12m 5s master
master
12m 5s
Android Build Android Build #3146: Scheduled
11m 58s master
master
11m 58s
Android Build Android Build #3145: Scheduled
12m 23s master
master
12m 23s
Android Build Android Build #3144: Scheduled
12m 0s master
master
12m 0s
Android Build Android Build #3143: Scheduled
11m 49s master
master
11m 49s
Android Build Android Build #3142: Scheduled
12m 0s master
master
12m 0s
Android Build Android Build #3141: Scheduled
12m 35s master
master
12m 35s
Android Build Android Build #3140: Scheduled
12m 53s master
master
12m 53s