Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
17,294 workflow runs
17,294 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update stage0 CI #28453: Commit b9894b4 pushed by Kha
February 12, 2025 17:09 31m 45s master
master
February 12, 2025 17:09 31m 45s
chore: rename UIntX.mk -> UIntX.ofBitVec (#7046) CI #28452: Commit 9ff4d53 pushed by github-merge-queue bot
February 12, 2025 16:43 26m 6s master
master
February 12, 2025 16:43 26m 6s
CI CI #28451: Merge group checks requested
February 12, 2025 16:08 35m 5s
February 12, 2025 16:08 35m 5s
chore: add UIntX.ofNatLT (#7057) CI #28450: Commit 1e262c2 pushed by github-merge-queue bot
February 12, 2025 15:59 31m 41s master
master
February 12, 2025 15:59 31m 41s
chore: rename UIntX.mk -> UIntX.ofBitVec CI #28449: Pull request #7046 synchronize by TwoFX
February 12, 2025 15:33 34m 33s markus/uint-of-bitvec
markus/uint-of-bitvec
February 12, 2025 15:33 34m 33s
CI CI #28448: Merge group checks requested
February 12, 2025 15:25 32m 51s
February 12, 2025 15:25 32m 51s
feat: IntX.ofBitVec (#7048) CI #28447: Commit b08fc5d pushed by github-merge-queue bot
February 12, 2025 15:25 30m 42s master
master
February 12, 2025 15:25 30m 42s
CI CI #28446: Merge group checks requested
February 12, 2025 15:12 18m 10s
February 12, 2025 15:12 18m 10s
CI CI #28445: Merge group checks requested
February 12, 2025 14:49 22m 18s
February 12, 2025 14:49 22m 18s
CI CI #28444: Merge group checks requested
February 12, 2025 14:49 35m 39s
February 12, 2025 14:49 35m 39s
fix: incremental goal state requests select incomplete snapshot CI #28443: Pull request #6887 synchronize by mhuisi
February 12, 2025 14:46 27m 12s mhuisi:mhuisi/no-goals-after-subgoal
mhuisi:mhuisi/no-goals-after-subgoal
February 12, 2025 14:46 27m 12s
chore: add UIntX.ofNatLT CI #28442: Pull request #7057 opened by TwoFX
February 12, 2025 14:46 26m 23s markus/uintx-ofnatlt-bootstrap
markus/uintx-ofnatlt-bootstrap
February 12, 2025 14:46 26m 23s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] CI #28441: Pull request #6792 synchronize by luisacicolini
February 12, 2025 14:23 24m 22s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 12, 2025 14:23 24m 22s
feat: UIntX.ofFin CI #28440: Pull request #7056 opened by TwoFX
February 12, 2025 14:05 30m 45s markus/uintx-offin
markus/uintx-offin
February 12, 2025 14:05 30m 45s
feat: propagate wfParam through let (#7039) CI #28439: Commit 761c88f pushed by github-merge-queue bot
February 12, 2025 13:54 31m 13s master
master
February 12, 2025 13:54 31m 13s
chore: rename UIntX.val -> UIntX.toFin CI #28438: Pull request #7050 synchronize by TwoFX
February 12, 2025 13:46 30m 21s markus/uintx-val-to-tofin
markus/uintx-val-to-tofin
February 12, 2025 13:46 30m 21s
feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map CI #28437: Pull request #7051 synchronize by datokrat
February 12, 2025 13:37 18m 41s paul/treemap-operations2
paul/treemap-operations2
February 12, 2025 13:37 18m 41s
feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map CI #28436: Pull request #7051 synchronize by datokrat
February 12, 2025 13:33 4m 23s paul/treemap-operations2
paul/treemap-operations2
February 12, 2025 13:33 4m 23s
chore: rename UIntX.val -> UIntX.toFin CI #28435: Pull request #7050 synchronize by TwoFX
February 12, 2025 13:29 17m 42s markus/uintx-val-to-tofin
markus/uintx-val-to-tofin
February 12, 2025 13:29 17m 42s
fix: allow trailing comma in array syntax CI #28434: Pull request #7055 synchronize by Seasawher
February 12, 2025 13:29 10m 35s Seasawher:array-syntax
Seasawher:array-syntax
February 12, 2025 13:29 10m 35s
fix: allow trailing comma in array syntax CI #28433: Pull request #7055 opened by Seasawher
February 12, 2025 13:22 6m 53s Seasawher:array-syntax
Seasawher:array-syntax
February 12, 2025 13:22 6m 53s
CI CI #28432: Merge group checks requested
February 12, 2025 13:22 31m 44s
February 12, 2025 13:22 31m 44s
feat: request cancellation CI #28431: Pull request #7054 synchronize by mhuisi
February 12, 2025 13:11 25m 20s mhuisi:mhuisi/request-cancellation
mhuisi:mhuisi/request-cancellation
February 12, 2025 13:11 25m 20s
feat: binderNameHint in congr CI #28430: Pull request #7053 synchronize by nomeata
February 12, 2025 12:56 19m 36s joachim/binderNameHint-congr
joachim/binderNameHint-congr
February 12, 2025 12:56 19m 36s
feat: binderNameHint in congr CI #28429: Pull request #7053 opened by nomeata
February 12, 2025 12:00 23m 26s joachim/binderNameHint-congr
joachim/binderNameHint-congr
February 12, 2025 12:00 23m 26s