Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
8,825 workflow runs
8,825 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: rename UIntX.mk -> UIntX.ofBitVec Check for copyright header #8829: Pull request #7046 synchronize by TwoFX
February 12, 2025 15:33 37s markus/uint-of-bitvec
markus/uint-of-bitvec
February 12, 2025 15:33 37s
fix: incremental goal state requests select incomplete snapshot Check for copyright header #8828: Pull request #6887 synchronize by mhuisi
February 12, 2025 14:46 37s mhuisi:mhuisi/no-goals-after-subgoal
mhuisi:mhuisi/no-goals-after-subgoal
February 12, 2025 14:46 37s
chore: add UIntX.ofNatLT Check for copyright header #8827: Pull request #7057 opened by TwoFX
February 12, 2025 14:46 37s markus/uintx-ofnatlt-bootstrap
markus/uintx-ofnatlt-bootstrap
February 12, 2025 14:46 37s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Check for copyright header #8826: Pull request #6792 synchronize by luisacicolini
February 12, 2025 14:23 40s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 12, 2025 14:23 40s
feat: UIntX.ofFin Check for copyright header #8825: Pull request #7056 opened by TwoFX
February 12, 2025 14:05 4m 26s markus/uintx-offin
markus/uintx-offin
February 12, 2025 14:05 4m 26s
chore: rename UIntX.val -> UIntX.toFin Check for copyright header #8824: Pull request #7050 synchronize by TwoFX
February 12, 2025 13:46 35s markus/uintx-val-to-tofin
markus/uintx-val-to-tofin
February 12, 2025 13:46 35s
feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map Check for copyright header #8823: Pull request #7051 synchronize by datokrat
February 12, 2025 13:37 39s paul/treemap-operations2
paul/treemap-operations2
February 12, 2025 13:37 39s
feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map Check for copyright header #8822: Pull request #7051 synchronize by datokrat
February 12, 2025 13:33 41s paul/treemap-operations2
paul/treemap-operations2
February 12, 2025 13:33 41s
chore: rename UIntX.val -> UIntX.toFin Check for copyright header #8821: Pull request #7050 synchronize by TwoFX
February 12, 2025 13:29 36s markus/uintx-val-to-tofin
markus/uintx-val-to-tofin
February 12, 2025 13:29 36s
fix: allow trailing comma in array syntax Check for copyright header #8820: Pull request #7055 synchronize by Seasawher
February 12, 2025 13:29 36s Seasawher:array-syntax
Seasawher:array-syntax
February 12, 2025 13:29 36s
fix: allow trailing comma in array syntax Check for copyright header #8819: Pull request #7055 opened by Seasawher
February 12, 2025 13:22 36s Seasawher:array-syntax
Seasawher:array-syntax
February 12, 2025 13:22 36s
feat: request cancellation Check for copyright header #8818: Pull request #7054 synchronize by mhuisi
February 12, 2025 13:11 41s mhuisi:mhuisi/request-cancellation
mhuisi:mhuisi/request-cancellation
February 12, 2025 13:11 41s
feat: binderNameHint in congr Check for copyright header #8817: Pull request #7053 synchronize by nomeata
February 12, 2025 12:56 36s joachim/binderNameHint-congr
joachim/binderNameHint-congr
February 12, 2025 12:56 36s
feat: binderNameHint in congr Check for copyright header #8816: Pull request #7053 opened by nomeata
February 12, 2025 12:00 36s joachim/binderNameHint-congr
joachim/binderNameHint-congr
February 12, 2025 12:00 36s
chore: rename UIntX.val -> UIntX.toFin Check for copyright header #8815: Pull request #7050 synchronize by TwoFX
February 12, 2025 11:55 38s markus/uintx-val-to-tofin
markus/uintx-val-to-tofin
February 12, 2025 11:55 38s
feat: deprecated find, fold, foldM, mergeBy functions for the tree map Check for copyright header #8814: Pull request #7036 synchronize by datokrat
February 12, 2025 11:47 38s paul/treemap-deprecations
paul/treemap-deprecations
February 12, 2025 11:47 38s
chore: rename UIntX.val -> UIntX.toFin Check for copyright header #8813: Pull request #7050 synchronize by TwoFX
February 12, 2025 11:09 40s markus/uintx-val-to-tofin
markus/uintx-val-to-tofin
February 12, 2025 11:09 40s
feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map Check for copyright header #8812: Pull request #7051 synchronize by datokrat
February 12, 2025 11:01 41s paul/treemap-operations2
paul/treemap-operations2
February 12, 2025 11:01 41s
feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map Check for copyright header #8811: Pull request #7051 synchronize by datokrat
February 12, 2025 10:58 34s paul/treemap-operations2
paul/treemap-operations2
February 12, 2025 10:58 34s
feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map Check for copyright header #8810: Pull request #7051 synchronize by datokrat
February 12, 2025 10:30 35s paul/treemap-operations2
paul/treemap-operations2
February 12, 2025 10:30 35s
chore: rename UIntX.val -> UIntX.toFin Check for copyright header #8809: Pull request #7050 synchronize by TwoFX
February 12, 2025 10:25 36s markus/uintx-val-to-tofin
markus/uintx-val-to-tofin
February 12, 2025 10:25 36s
feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map Check for copyright header #8808: Pull request #7051 opened by datokrat
February 12, 2025 10:09 35s paul/treemap-operations2
paul/treemap-operations2
February 12, 2025 10:09 35s
chore: rename UIntX.val -> UIntX.toFin Check for copyright header #8807: Pull request #7050 opened by TwoFX
February 12, 2025 10:09 37s markus/uintx-val-to-tofin
markus/uintx-val-to-tofin
February 12, 2025 10:09 37s
test: fix simp_arith1 benchmark Check for copyright header #8806: Pull request #7049 opened by Kha
February 12, 2025 09:09 38s Kha:push-vsoyrozurzuv
Kha:push-vsoyrozurzuv
February 12, 2025 09:09 38s
feat: IntX.ofBitVec Check for copyright header #8805: Pull request #7048 opened by TwoFX
February 12, 2025 09:07 36s markus/intx-ofbitvec
markus/intx-ofbitvec
February 12, 2025 09:07 36s