Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82,414 workflow runs
82,414 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 for copyright header #5189: Pull request #5609 opened by bollu
October 3, 2024 17:13 35s opencompl:udiv-denom-zero-lemmas
opencompl:udiv-denom-zero-lemmas
October 3, 2024 17:13 35s
feat: lemmas for Bitvector division when denominator is zero Check for modules that should use `prelude` #5034: Pull request #5609 opened by bollu
October 3, 2024 17:13 16s opencompl:udiv-denom-zero-lemmas
opencompl:udiv-denom-zero-lemmas
October 3, 2024 17:13 16s
feat: lemmas for Bitvector division when denominator is zero Check for stage0 changes #4999: Pull request #5609 opened by bollu
October 3, 2024 17:13 57s opencompl:udiv-denom-zero-lemmas
opencompl:udiv-denom-zero-lemmas
October 3, 2024 17:13 57s
feat: lemmas for Bitvector division when denominator is zero CI #22408: Pull request #5609 opened by bollu
October 3, 2024 17:13 In progress opencompl:udiv-denom-zero-lemmas
opencompl:udiv-denom-zero-lemmas
October 3, 2024 17:13 In progress
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
feat: lemmas for Bitvector division when denominator is zero Nix CI #19224: Pull request #5609 opened by bollu
October 3, 2024 17:13 In progress opencompl:udiv-denom-zero-lemmas
opencompl:udiv-denom-zero-lemmas
October 3, 2024 17:13 In progress
chore: add bv_toNat tags for toNat_{ofInt, sub} Label PR based on Comment #7142: Issue comment #5608 (comment) created by leanprover-community-bot
October 3, 2024 16:21 2s
October 3, 2024 16:21 2s
PR release PR release #12963: completed by bollu
October 3, 2024 16:18 3m 7s
October 3, 2024 16:18 3m 7s
chore: add bv_toNat tags for toNat_{ofInt, sub} Check for copyright header #5188: Pull request #5608 opened by bollu
October 3, 2024 15:55 34s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 15:55 34s
chore: add bv_toNat tags for toNat_{ofInt, sub} Check for stage0 changes #4998: Pull request #5608 opened by bollu
October 3, 2024 15:55 42s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 15:55 42s
chore: add bv_toNat tags for toNat_{ofInt, sub} Check for modules that should use `prelude` #5033: Pull request #5608 opened by bollu
October 3, 2024 15:55 14s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 15:55 14s
chore: add bv_toNat tags for toNat_{ofInt, sub} 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
chore: add bv_toNat tags for toNat_{ofInt, sub} CI #22407: Pull request #5608 opened by bollu
October 3, 2024 15:55 23m 3s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 15:55 23m 3s
chore: add bv_toNat tags for toNat_{ofInt, sub} Nix CI #19223: Pull request #5608 opened by bollu
October 3, 2024 15:55 12m 24s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 15:55 12m 24s
PR release PR release #12962: completed by github-merge-queue bot
October 3, 2024 15:51 2s
October 3, 2024 15:51 2s
perf: remove List.redLength Backport #4474: Pull request #5605 closed by hargoniX
October 3, 2024 15:22 13s
October 3, 2024 15:22 13s
perf: remove List.redLength (#5605) CI #22406: Commit 53c5470 pushed by github-merge-queue bot
October 3, 2024 15:22 29m 21s master
master
October 3, 2024 15:22 29m 21s
perf: remove List.redLength (#5605) Nix CI #19222: Commit 53c5470 pushed by github-merge-queue bot
October 3, 2024 15:22 13m 29s master
master
October 3, 2024 15:22 13m 29s
perf: remove List.redLength (#5605) Update stage0 #1811: Commit 53c5470 pushed by github-merge-queue bot
October 3, 2024 15:22 35s master
master
October 3, 2024 15:22 35s
PR release PR release #12961: completed by hargoniX
October 3, 2024 15:21 2s
October 3, 2024 15:21 2s
Check for stage0 changes Check for stage0 changes #4997: Merge group checks requested
October 3, 2024 14:57 50s
October 3, 2024 14:57 50s
Nix CI Nix CI #19221: Merge group checks requested
October 3, 2024 14:57 13m 35s
October 3, 2024 14:57 13m 35s
CI CI #22405: Merge group checks requested
October 3, 2024 14:57 24m 2s
October 3, 2024 14:57 24m 2s