Skip to content

Actions: zwarich/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
172 workflow runs
172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #172: Scheduled
17s master
master
17s
CI CI #171: Scheduled
11s master
master
11s
CI CI #170: Scheduled
17s master
master
17s
CI CI #169: Scheduled
16s master
master
16s
CI CI #168: Scheduled
14s master
master
14s
CI CI #167: Scheduled
14s master
master
14s
CI CI #166: Scheduled
16s master
master
16s
CI CI #165: Scheduled
17s master
master
17s
CI CI #164: Scheduled
16s master
master
16s
CI CI #163: Scheduled
28s master
master
28s
CI CI #162: Scheduled
13s master
master
13s
CI CI #161: Scheduled
17s master
master
17s
CI CI #160: Scheduled
10s master
master
10s
CI CI #159: Scheduled
49s master
master
49s
CI CI #158: Scheduled
15s master
master
15s
CI CI #157: Scheduled
17s master
master
17s
CI CI #156: Scheduled
18s master
master
18s
CI CI #155: Scheduled
16s master
master
16s
CI CI #154: Scheduled
12s master
master
12s
CI CI #153: Scheduled
12s master
master
12s
CI CI #152: Scheduled
14s master
master
14s
CI CI #151: Scheduled
16s master
master
16s
CI CI #150: Scheduled
18s master
master
18s
CI CI #149: Scheduled
17s master
master
17s
CI CI #148: Scheduled
15s master
master
15s