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
9,777 workflow runs
9,777 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check PR title for commit convention Check PR title for commit convention #9785: Merge group checks requested
October 3, 2024 19:21 12s
October 3, 2024 19:21 12s
chore: add bv_toNat tag for toNat_ofInt Check PR title for commit convention #9784: Pull request #5608 edited by bollu
October 3, 2024 17:30 11s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 17:30 11s
chore: add bv_toNat tag for toNat_ofInt Check PR title for commit convention #9783: Pull request #5608 edited by bollu
October 3, 2024 17:30 11s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 17:30 11s
chore: add bv_toNat tag for toNat_ofInt Check PR title for commit convention #9782: Pull request #5608 synchronize by bollu
October 3, 2024 17:30 10s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 17:30 10s
feat: lemmas for Bitvector division when denominator is zero Check PR title for commit convention #9781: Pull request #5609 edited by bollu
October 3, 2024 17:15 10s opencompl:udiv-denom-zero-lemmas
opencompl:udiv-denom-zero-lemmas
October 3, 2024 17:15 10s
feat: lemmas for Bitvector division when denominator is zero Check PR title for commit convention #9780: Pull request #5609 edited by bollu
October 3, 2024 17:15 13s opencompl:udiv-denom-zero-lemmas
opencompl:udiv-denom-zero-lemmas
October 3, 2024 17:15 13s
feat: lemmas for Bitvector division when denominator is zero Check PR title for commit convention #9779: Pull request #5609 opened by bollu
October 3, 2024 17:13 15s opencompl:udiv-denom-zero-lemmas
opencompl:udiv-denom-zero-lemmas
October 3, 2024 17:13 15s
chore: add bv_toNat tag for toNat_ofInt Check PR title for commit convention #9778: Pull request #5608 opened by bollu
October 3, 2024 15:55 10s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 15:55 10s
Check PR title for commit convention Check PR title for commit convention #9777: Merge group checks requested
October 3, 2024 14:57 10s
October 3, 2024 14:57 10s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check PR title for commit convention #9776: Pull request #5604 synchronize by luisacicolini
October 3, 2024 14:39 18s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 14:39 18s
perf: remove List.redLength Check PR title for commit convention #9775: Pull request #5605 synchronize by hargoniX
October 3, 2024 14:35 15s hbv/redlength
hbv/redlength
October 3, 2024 14:35 15s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check PR title for commit convention #9774: Pull request #5604 synchronize by luisacicolini
October 3, 2024 12:59 19s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 12:59 19s
Check PR title for commit convention Check PR title for commit convention #9773: Merge group checks requested
October 3, 2024 12:04 8s
October 3, 2024 12:04 8s
perf: remove List.redLength Check PR title for commit convention #9772: Pull request #5605 opened by hargoniX
October 3, 2024 11:47 12s hbv/redlength
hbv/redlength
October 3, 2024 11:47 12s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check PR title for commit convention #9771: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:24 12s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:24 12s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check PR title for commit convention #9770: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:22 13s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:22 13s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check PR title for commit convention #9769: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:18 11s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:18 11s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check PR title for commit convention #9768: Pull request #5604 edited by luisacicolini
October 3, 2024 10:15 13s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:15 13s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check PR title for commit convention #9767: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:09 14s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:09 14s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check PR title for commit convention #9766: Pull request #5604 edited by luisacicolini
October 3, 2024 08:55 13s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 08:55 13s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check PR title for commit convention #9765: Pull request #5604 synchronize by luisacicolini
October 3, 2024 08:47 11s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 08:47 11s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check PR title for commit convention #9764: Pull request #5604 synchronize by luisacicolini
October 3, 2024 08:37 12s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 08:37 12s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check PR title for commit convention #9763: Pull request #5604 opened by luisacicolini
October 3, 2024 08:27 15s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 08:27 15s
Check PR title for commit convention Check PR title for commit convention #9762: Merge group checks requested
October 3, 2024 07:29 10s
October 3, 2024 07:29 10s
feat: Array/Option.unattach Check PR title for commit convention #9761: Pull request #5586 synchronize by kim-em
October 3, 2024 07:06 12s unattach_option
unattach_option
October 3, 2024 07:06 12s