Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
7,072 workflow runs
7,072 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: partial functions with equations Check for copyright header #7051: Pull request #6355 synchronize by nomeata
December 10, 2024 14:10 6m 28s joachim/tailrec
joachim/tailrec
December 10, 2024 14:10 6m 28s
feat: importModules without loading environment extensions Check for copyright header #7050: Pull request #6325 synchronize by Kha
December 10, 2024 12:59 38s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 10, 2024 12:59 38s
feat: importModules without loading environment extensions Check for copyright header #7049: Pull request #6325 synchronize by Kha
December 10, 2024 12:55 38s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 10, 2024 12:55 38s
feat: importModules without loading environment extensions Check for copyright header #7048: Pull request #6325 synchronize by Kha
December 10, 2024 12:54 37s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 10, 2024 12:54 37s
feat: partial functions with equations Check for copyright header #7047: Pull request #6355 opened by nomeata
December 10, 2024 12:17 44s joachim/tailrec
joachim/tailrec
December 10, 2024 12:17 44s
feat: importModules without loading environment extensions Check for copyright header #7046: Pull request #6325 synchronize by Kha
December 10, 2024 10:55 40s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 10, 2024 10:55 40s
feat: add BitVec.(getMSbD, msb)_replicate, replicate_append_replicate_eq and support theorems Check for copyright header #7045: Pull request #6326 synchronize by luisacicolini
December 10, 2024 09:45 34s opencompl:msb-replicate
opencompl:msb-replicate
December 10, 2024 09:45 34s
chore: alignment of Array.any/all lemmas with List Check for copyright header #7044: Pull request #6353 synchronize by kim-em
December 10, 2024 09:09 41s array_any
array_any
December 10, 2024 09:09 41s
chore: alignment of Array.any/all lemmas with List Check for copyright header #7043: Pull request #6353 opened by kim-em
December 10, 2024 08:44 41s array_any
array_any
December 10, 2024 08:44 41s
feat: generalize panic to Sort Check for copyright header #7042: Pull request #6333 synchronize by tydeu
December 10, 2024 05:01 40s tydeu:sort-panic
tydeu:sort-panic
December 10, 2024 05:01 40s
feat: Nat.shiftRight_bitwise_distrib Check for copyright header #7041: Pull request #6334 synchronize by tydeu
December 10, 2024 04:01 35s tydeu:nat-shiftRight-bitwise-distrib
tydeu:nat-shiftRight-bitwise-distrib
December 10, 2024 04:01 35s
feat: do not propagate pretty printer errors through messages Check for copyright header #7040: Pull request #3696 synchronize by tydeu
December 10, 2024 03:37 40s tydeu:pp-baseio
tydeu:pp-baseio
December 10, 2024 03:37 40s
feat: BitVec.[toInt|toFin|getMsbD]_ofBool Check for copyright header #7039: Pull request #6317 synchronize by tobiasgrosser
December 10, 2024 02:28 40s opencompl:ofBool
opencompl:ofBool
December 10, 2024 02:28 40s
feat: BitVec.[toInt|toFin|getMsbD]_ofBool Check for copyright header #7038: Pull request #6317 synchronize by tobiasgrosser
December 10, 2024 02:17 37s opencompl:ofBool
opencompl:ofBool
December 10, 2024 02:17 37s
feat: do not propagate pretty printer errors through messages Check for copyright header #7037: Pull request #3696 synchronize by tydeu
December 10, 2024 02:10 39s tydeu:pp-baseio
tydeu:pp-baseio
December 10, 2024 02:10 39s
feat: BitVec.[toInt|toFin|getMsbD]_ofBool Check for copyright header #7036: Pull request #6317 synchronize by tobiasgrosser
December 10, 2024 02:09 39s opencompl:ofBool
opencompl:ofBool
December 10, 2024 02:09 39s
feat: BitVec.[toInt|toFin|getMsbD]_ofBool Check for copyright header #7035: Pull request #6317 synchronize by tobiasgrosser
December 10, 2024 02:09 34s opencompl:ofBool
opencompl:ofBool
December 10, 2024 02:09 34s
feat: do not propagate pretty printer errors through messages Check for copyright header #7034: Pull request #3696 synchronize by tydeu
December 10, 2024 01:42 36s tydeu:pp-baseio
tydeu:pp-baseio
December 10, 2024 01:42 36s
chore: improve BitVec ext lemmas Check for copyright header #7033: Pull request #6349 synchronize by kim-em
December 10, 2024 01:16 38s bitvec_ext
bitvec_ext
December 10, 2024 01:16 38s
fix: Float32 runtime support Check for copyright header #7032: Pull request #6350 opened by leodemoura
December 10, 2024 01:16 40s fix_float32_runtime
fix_float32_runtime
December 10, 2024 01:16 40s
chore: improve BitVec ext lemmas Check for copyright header #7031: Pull request #6349 opened by kim-em
December 10, 2024 00:51 38s bitvec_ext
bitvec_ext
December 10, 2024 00:51 38s
feat: add support for Float32 to the Lean runtime Check for copyright header #7030: Pull request #6348 synchronize by leodemoura
December 9, 2024 21:19 36s float32_prep
float32_prep
December 9, 2024 21:19 36s
feat: add support for Float32 to the Lean runtime Check for copyright header #7029: Pull request #6348 opened by leodemoura
December 9, 2024 21:14 37s float32_prep
float32_prep
December 9, 2024 21:14 37s
feat: toInt_shiftLeft theorem Check for copyright header #7028: Pull request #6346 synchronize by mhk119
December 9, 2024 19:20 40s opencompl:toInt_shiftLeft
opencompl:toInt_shiftLeft
December 9, 2024 19:20 40s
feat: toNat theorems for rotateLeft and rotateRight Check for copyright header #7027: Pull request #6347 synchronize by mhk119
December 9, 2024 19:18 46s opencompl:rotate
opencompl:rotate
December 9, 2024 19:18 46s