Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
12,606 workflow runs
12,606 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: enhance the rewriting rules of bv_decide CI #21692: Pull request #5423 opened by hargoniX
September 23, 2024 08:49 16m 45s hbv/bv_decide_rewrite
hbv/bv_decide_rewrite
September 23, 2024 08:49 16m 45s
CI CI #21691: Scheduled
September 23, 2024 07:04 1h 16m 57s master
master
September 23, 2024 07:04 1h 16m 57s
feat: theorems about List.toArray (#5403) CI #21690: Commit e551a36 pushed by github-merge-queue bot
September 23, 2024 05:46 22m 8s master
master
September 23, 2024 05:46 22m 8s
CI CI #21689: Merge group checks requested
September 23, 2024 05:24 21m 58s
September 23, 2024 05:24 21m 58s
feat: theorems about List.toArray CI #21688: Pull request #5403 synchronize by semorrison
September 23, 2024 05:04 11m 31s toArray_theorems
toArray_theorems
September 23, 2024 05:04 11m 31s
feat: BitVec analogues of Nat.{mul_two, two_mul, mul_succ, succ_mul} … CI #21687: Commit f4afbc2 pushed by github-merge-queue bot
September 23, 2024 05:00 21m 7s master
master
September 23, 2024 05:00 21m 7s
CI CI #21686: Merge group checks requested
September 23, 2024 04:37 23m 10s
September 23, 2024 04:37 23m 10s
feat: theorems about List.toArray CI #21685: Pull request #5403 synchronize by semorrison
September 23, 2024 04:33 15m 18s toArray_theorems
toArray_theorems
September 23, 2024 04:33 15m 18s
feat: refactor DecidableEq (Array α) (#5422) CI #21684: Commit 8c85855 pushed by github-merge-queue bot
September 23, 2024 04:10 22m 8s master
master
September 23, 2024 04:10 22m 8s
feat: theorems about List.toArray CI #21683: Pull request #5403 synchronize by semorrison
September 23, 2024 04:08 7m 55s toArray_theorems
toArray_theorems
September 23, 2024 04:08 7m 55s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] CI #21682: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:08 16m 42s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:08 16m 42s
feat: add LawCommIdentity + IdempotentOp for BitVec.[and|or|xor] CI #21681: Pull request #5416 synchronize by tobiasgrosser
September 23, 2024 04:07 1m 50s opencompl:bitvec_identity_idempotent
opencompl:bitvec_identity_idempotent
September 23, 2024 04:07 1m 50s
chore: reverse direction of List.set_map (#5405) CI #21680: Commit c825b5a pushed by github-merge-queue bot
September 23, 2024 04:06 5m 5s master
master
September 23, 2024 04:06 5m 5s
CI CI #21679: Merge group checks requested
September 23, 2024 03:49 21m 13s
September 23, 2024 03:49 21m 13s
CI CI #21678: Merge group checks requested
September 23, 2024 03:44 21m 42s
September 23, 2024 03:44 21m 42s
feat: refactor DecidableEq (Array α) CI #21677: Pull request #5422 opened by semorrison
September 23, 2024 03:30 18m 25s decidableEq_arry
decidableEq_arry
September 23, 2024 03:30 18m 25s
feat: implement To/FromJSON Empty CI #21676: Pull request #5421 synchronize by TomasPuverle
September 23, 2024 03:25 18m 52s TomasPuverle:empty_json
TomasPuverle:empty_json
September 23, 2024 03:25 18m 52s
feat: implement To/FromJSON Empty CI #21675: Pull request #5421 opened by TomasPuverle
September 23, 2024 03:17 8m 13s TomasPuverle:empty_json
TomasPuverle:empty_json
September 23, 2024 03:17 8m 13s
chore: make Array functions either semireducible or use structural … CI #21674: Commit 738435b pushed by github-merge-queue bot
September 23, 2024 03:05 21m 28s master
master
September 23, 2024 03:05 21m 28s
CI CI #21673: Merge group checks requested
September 23, 2024 02:41 23m 1s
September 23, 2024 02:41 23m 1s
chore: make Array functions either semireducible or use structural recursion CI #21672: Pull request #5420 opened by semorrison
September 23, 2024 02:22 18m 7s array_isEqv
array_isEqv
September 23, 2024 02:22 18m 7s
feat: implement Repr Empty (#5415) CI #21671: Commit 1883c9b pushed by github-merge-queue bot
September 23, 2024 01:36 21m 35s master
master
September 23, 2024 01:36 21m 35s
CI CI #21670: Merge group checks requested
September 23, 2024 01:11 23m 48s
September 23, 2024 01:11 23m 48s
fix: must not reduce ite in the discriminant of match-expression when reducibility setting is .reducible CI #21669: Pull request #5419 opened by leodemoura
September 23, 2024 00:57 16m 18s issue_5388
issue_5388
September 23, 2024 00:57 16m 18s
feat: decidable quantifers for BitVec CI #21668: Pull request #5418 opened by semorrison
September 23, 2024 00:32 14m 47s bitvec_decidable_quantifiers
bitvec_decidable_quantifiers
September 23, 2024 00:32 14m 47s