Skip to content

Actions: leanprover/lean4

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
1,935 workflow run results
1,935 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: remove @[simp] from some new BitVec lemmas Check PR title for commit convention #1939: Pull request #3466 opened by kim-em
February 22, 2024 22:46 12s no_simp_msb_eq_decide
no_simp_msb_eq_decide
February 22, 2024 22:46 12s
feat: add BitVec.getLsb_concat Check PR title for commit convention #1938: Pull request #3457 synchronize by alexkeizer
February 22, 2024 20:36 12s opencompl:getlsb-concat
opencompl:getlsb-concat
February 22, 2024 20:36 12s
feat: add BitVec.getLsb_concat Check PR title for commit convention #1937: Pull request #3457 synchronize by alexkeizer
February 22, 2024 20:34 13s opencompl:getlsb-concat
opencompl:getlsb-concat
February 22, 2024 20:34 13s
refactor: make hIterate_elim more specific Check PR title for commit convention #1936: Pull request #3465 edited by alexkeizer
February 22, 2024 20:33 10s opencompl:generalize-hiterate-elim
opencompl:generalize-hiterate-elim
February 22, 2024 20:33 10s
refactor: make hIterate_elim more specific Check PR title for commit convention #1935: Pull request #3465 edited by alexkeizer
February 22, 2024 20:32 13s opencompl:generalize-hiterate-elim
opencompl:generalize-hiterate-elim
February 22, 2024 20:32 13s
refactor: make hIterate_elim more specific Check PR title for commit convention #1934: Pull request #3465 opened by alexkeizer
February 22, 2024 20:30 16s opencompl:generalize-hiterate-elim
opencompl:generalize-hiterate-elim
February 22, 2024 20:30 16s
fix: auto-completion bugs and performance Check PR title for commit convention #1933: Pull request #3460 edited by mhuisi
February 22, 2024 20:28 10s mhuisi:mhuisi/slow-autocompletion
mhuisi:mhuisi/slow-autocompletion
February 22, 2024 20:28 10s
fix: auto-completion bugs and performance Check PR title for commit convention #1932: Pull request #3460 synchronize by mhuisi
February 22, 2024 20:27 14s mhuisi:mhuisi/slow-autocompletion
mhuisi:mhuisi/slow-autocompletion
February 22, 2024 20:27 14s
Check PR title for commit convention Check PR title for commit convention #1931: Merge group checks requested
February 22, 2024 19:25 11s
February 22, 2024 19:25 11s
Check PR title for commit convention Check PR title for commit convention #1930: Merge group checks requested
February 22, 2024 19:16 11s
February 22, 2024 19:16 11s
Check PR title for commit convention Check PR title for commit convention #1929: Merge group checks requested
February 22, 2024 19:10 10s
February 22, 2024 19:10 10s
chore: CI: flag Lean modules not using prelude Check PR title for commit convention #1928: Pull request #3463 edited by nomeata
February 22, 2024 18:34 11s lint-prelude
lint-prelude
February 22, 2024 18:34 11s
chore: CI: flag Lean modules not using prelude Check PR title for commit convention #1927: Pull request #3463 synchronize by hargoniX
February 22, 2024 18:25 12s lint-prelude
lint-prelude
February 22, 2024 18:25 12s
Check PR title for commit convention Check PR title for commit convention #1926: Merge group checks requested
February 22, 2024 18:13 14s
February 22, 2024 18:13 14s
chore: CI: flag Lean modules not using prelude Check PR title for commit convention #1925: Pull request #3463 synchronize by hargoniX
February 22, 2024 18:11 11s lint-prelude
lint-prelude
February 22, 2024 18:11 11s
chore: CI: flag Lean modules not using prelude Check PR title for commit convention #1924: Pull request #3463 synchronize by Kha
February 22, 2024 17:44 14s lint-prelude
lint-prelude
February 22, 2024 17:44 14s
refactor: reduced unsed imports Check PR title for commit convention #1923: Pull request #3464 synchronize by nomeata
February 22, 2024 17:34 13s joachim/init-conv-imports
joachim/init-conv-imports
February 22, 2024 17:34 13s
refactor: reduced unsed imports Check PR title for commit convention #1922: Pull request #3464 edited by nomeata
February 22, 2024 17:34 10s joachim/init-conv-imports
joachim/init-conv-imports
February 22, 2024 17:34 10s
refactor: reduced unsed imports Check PR title for commit convention #1921: Pull request #3464 opened by nomeata
February 22, 2024 17:27 11s joachim/init-conv-imports
joachim/init-conv-imports
February 22, 2024 17:27 11s
chore: CI: flag Lean modules not using prelude Check PR title for commit convention #1920: Pull request #3463 opened by Kha
February 22, 2024 17:20 10s lint-prelude
lint-prelude
February 22, 2024 17:20 10s
fix: zetaDelta := false regression Check PR title for commit convention #1919: Pull request #3459 synchronize by leodemoura
February 22, 2024 17:14 22s simp_zetaDeltaIssue
simp_zetaDeltaIssue
February 22, 2024 17:14 22s
Check PR title for commit convention Check PR title for commit convention #1918: Merge group checks requested
February 22, 2024 16:39 13s
February 22, 2024 16:39 13s
fix: improve error message when termination argument is too dependent Check PR title for commit convention #1917: Pull request #3414 synchronize by nomeata
February 22, 2024 16:19 12s joachim/issue2260
joachim/issue2260
February 22, 2024 16:19 12s
Check PR title for commit convention Check PR title for commit convention #1916: Merge group checks requested
February 22, 2024 16:16 14s
February 22, 2024 16:16 14s
refactor: make BitVec.carry take bitvector arguments Check PR title for commit convention #1915: Pull request #3461 opened by alexkeizer
February 22, 2024 15:58 12s opencompl:carry-refactor
opencompl:carry-refactor
February 22, 2024 15:58 12s