Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: split [implicit_reducible] into [instance_reducible] and [implicit_reducible] tiers Check for copyright header #26359: Pull request #13637 opened by kim-em
1m 13s kim-em:split_implicit_reducible
kim-em:split_implicit_reducible
1m 13s
feat: restrict simpa using h close to reducible transparency Check for copyright header #26358: Pull request #13636 opened by kim-em
1m 4s kim-em:simpa-reducible-impl
kim-em:simpa-reducible-impl
1m 4s
fix: kernel projection panic in Sym.simp match reduction Check for copyright header #26357: Pull request #13635 opened by leodemoura
1m 9s sym_proj_bug
sym_proj_bug
1m 9s
chore: use the lean-llvm LLVM for benchmarking Check for copyright header #26356: Pull request #13634 synchronize by hargoniX
1m 14s hbv/consistent-llvm
hbv/consistent-llvm
1m 14s
chore: use the lean-llvm LLVM for benchmarking Check for copyright header #26355: Pull request #13634 synchronize by hargoniX
1m 29s hbv/consistent-llvm
hbv/consistent-llvm
1m 29s
chore: use the lean-llvm LLVM for benchmarking Check for copyright header #26354: Pull request #13634 synchronize by hargoniX
1m 6s hbv/consistent-llvm
hbv/consistent-llvm
1m 6s
chore: use the lean-llvm LLVM for benchmarking Check for copyright header #26353: Pull request #13634 synchronize by hargoniX
1m 4s hbv/consistent-llvm
hbv/consistent-llvm
1m 4s
chore: use the lean-llvm LLVM for benchmarking Check for copyright header #26352: Pull request #13634 synchronize by hargoniX
1m 12s hbv/consistent-llvm
hbv/consistent-llvm
1m 12s
chore: use the lean-llvm LLVM for benchmarking Check for copyright header #26351: Pull request #13634 synchronize by hargoniX
1m 4s hbv/consistent-llvm
hbv/consistent-llvm
1m 4s
chore: use the lean-llvm LLVM for benchmarking Check for copyright header #26350: Pull request #13634 synchronize by hargoniX
1m 8s hbv/consistent-llvm
hbv/consistent-llvm
1m 8s
chore: use the lean-llvm LLVM for benchmarking Check for copyright header #26349: Pull request #13634 synchronize by hargoniX
1m 8s hbv/consistent-llvm
hbv/consistent-llvm
1m 8s
chore: use the lean-llvm LLVM for benchmarking Check for copyright header #26348: Pull request #13634 opened by hargoniX
1m 13s hbv/consistent-llvm
hbv/consistent-llvm
1m 13s
chore: move more radar bench logic to this repo Check for copyright header #26347: Pull request #13633 synchronize by Garmelon
1m 12s joscha/bench-scripts
joscha/bench-scripts
1m 12s
chore: move more radar bench logic to this repo Check for copyright header #26346: Pull request #13633 opened by Garmelon
1m 27s joscha/bench-scripts
joscha/bench-scripts
1m 27s
chore: use self-hosted actions runner for some runs Check for copyright header #26345: Pull request #13543 synchronize by Garmelon
29m 46s joscha/chonk3-runner
joscha/chonk3-runner
29m 46s
chore: use self-hosted actions runner for some runs Check for copyright header #26344: Pull request #13543 synchronize by Garmelon
1m 12s joscha/chonk3-runner
joscha/chonk3-runner
1m 12s
chore: use self-hosted actions runner for some runs Check for copyright header #26343: Pull request #13543 synchronize by Garmelon
1m 12s joscha/chonk3-runner
joscha/chonk3-runner
1m 12s
chore: use self-hosted actions runner for some runs Check for copyright header #26342: Pull request #13543 synchronize by Garmelon
1m 16s joscha/chonk3-runner
joscha/chonk3-runner
1m 16s
chore: use self-hosted actions runner for some runs Check for copyright header #26341: Pull request #13543 synchronize by Garmelon
1m 11s joscha/chonk3-runner
joscha/chonk3-runner
1m 11s
chore: use self-hosted actions runner for some runs Check for copyright header #26340: Pull request #13543 synchronize by Garmelon
1m 16s joscha/chonk3-runner
joscha/chonk3-runner
1m 16s
chore: use self-hosted actions runner for some runs Check for copyright header #26339: Pull request #13543 synchronize by Garmelon
1m 10s joscha/chonk3-runner
joscha/chonk3-runner
1m 10s
chore: update release tooling and docs Check for copyright header #26338: Pull request #13631 opened by Garmelon
1m 11s joscha/release-checklist
joscha/release-checklist
1m 11s
fix: withoutExporting around diagnostic reporting Check for copyright header #26337: Pull request #13630 opened by kim-em
1m 8s kim-em:issue-13581
kim-em:issue-13581
1m 8s
chore: increase priority of instSMulOfMul Check for copyright header #26336: Pull request #13554 synchronize by kim-em
1m 5s smul_prio
smul_prio
1m 5s
feat: verify partition for hashmaps Check for copyright header #26335: Pull request #11363 synchronize by jt0202
1m 11s jt0202:verifyPartition
jt0202:verifyPartition
1m 11s