Skip to content

Actions: opencompl/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
183 workflow run results
183 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #183: Scheduled
May 26, 2024 07:01 27s master
master
May 26, 2024 07:01 27s
CI CI #182: Scheduled
May 25, 2024 07:01 22s master
master
May 25, 2024 07:01 22s
CI CI #181: Scheduled
May 24, 2024 07:01 26s master
master
May 24, 2024 07:01 26s
CI CI #180: Scheduled
May 23, 2024 07:01 25s master
master
May 23, 2024 07:01 25s
feat: incremental elaboration of definition headers, bodies, and tact… CI #179: Commit f97a7d4 pushed by alexkeizer
May 22, 2024 14:36 1h 15m 3s master
master
May 22, 2024 14:36 1h 15m 3s
CI CI #178: Scheduled
May 22, 2024 07:01 20s master
master
May 22, 2024 07:01 20s
CI CI #177: Scheduled
May 21, 2024 07:01 22s master
master
May 21, 2024 07:01 22s
CI CI #176: Scheduled
May 20, 2024 07:01 20s master
master
May 20, 2024 07:01 20s
CI CI #175: Scheduled
May 19, 2024 07:01 20s master
master
May 19, 2024 07:01 20s
CI CI #174: Scheduled
May 18, 2024 07:01 18s master
master
May 18, 2024 07:01 18s
CI CI #173: Scheduled
May 17, 2024 07:00 24s master
master
May 17, 2024 07:00 24s
CI CI #172: Scheduled
May 16, 2024 07:00 21s master
master
May 16, 2024 07:00 21s
getLsb_sshiftRight CI #171: Pull request #3 synchronize by bollu
May 15, 2024 17:43 15m 56s bitvec-theorems
bitvec-theorems
May 15, 2024 17:43 15m 56s
getLsb_sshiftRight CI #170: Pull request #3 synchronize by bollu
May 15, 2024 15:40 4m 20s bitvec-theorems
bitvec-theorems
May 15, 2024 15:40 4m 20s
CI CI #169: Scheduled
May 15, 2024 07:01 24s master
master
May 15, 2024 07:01 24s
getLsb_sshiftRight CI #168: Pull request #3 synchronize by bollu
May 14, 2024 21:42 4m 18s bitvec-theorems
bitvec-theorems
May 14, 2024 21:42 4m 18s
WIP: multiplication circuit for bit blasting CI #167: Pull request #2 synchronize by alexkeizer
May 14, 2024 15:23 4m 36s bitvec-mulAdd
bitvec-mulAdd
May 14, 2024 15:23 4m 36s
getLsb_sshiftRight CI #166: Pull request #3 synchronize by bollu
May 14, 2024 12:33 4m 18s bitvec-theorems
bitvec-theorems
May 14, 2024 12:33 4m 18s
CI CI #165: Scheduled
May 14, 2024 07:01 21s master
master
May 14, 2024 07:01 21s
getLsb_sshiftRight CI #164: Pull request #3 opened by bollu
May 13, 2024 21:58 4m 30s bitvec-theorems
bitvec-theorems
May 13, 2024 21:58 4m 30s
feat: BitVec.shiftLeft_shiftLeft, BitVec.shiftRight_shiftRight (#4148) CI #163: Commit a17c3f4 pushed by alexkeizer
May 13, 2024 17:05 1h 5m 13s master
master
May 13, 2024 17:05 1h 5m 13s
WIP: multiplication circuit for bit blasting CI #162: Pull request #2 opened by alexkeizer
May 13, 2024 17:05 12m 39s bitvec-mulAdd
bitvec-mulAdd
May 13, 2024 17:05 12m 39s
CI CI #161: Scheduled
May 13, 2024 07:00 24s master
master
May 13, 2024 07:00 24s
CI CI #160: Scheduled
May 12, 2024 07:01 22s master
master
May 12, 2024 07:01 22s
CI CI #159: Scheduled
May 11, 2024 07:00 23s master
master
May 11, 2024 07:00 23s