Skip to content

Actions: leanprover/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.yml
4,997 workflow runs
4,997 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check for stage0 changes Check for stage0 changes #5001: Merge group checks requested
October 3, 2024 19:21 47s
October 3, 2024 19:21 47s
chore: add bv_toNat tag for toNat_ofInt Check for stage0 changes #5000: Pull request #5608 synchronize by bollu
October 3, 2024 17:30 43s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 17:30 43s
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
chore: add bv_toNat tag for toNat_ofInt 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
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
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for stage0 changes #4996: Pull request #5604 synchronize by luisacicolini
October 3, 2024 14:39 37s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 14:39 37s
perf: remove List.redLength Check for stage0 changes #4995: Pull request #5605 synchronize by hargoniX
October 3, 2024 14:35 48s hbv/redlength
hbv/redlength
October 3, 2024 14:35 48s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for stage0 changes #4994: Pull request #5604 synchronize by luisacicolini
October 3, 2024 12:59 32s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 12:59 32s
Check for stage0 changes Check for stage0 changes #4993: Merge group checks requested
October 3, 2024 12:04 49s
October 3, 2024 12:04 49s
perf: remove List.redLength Check for stage0 changes #4992: Pull request #5605 opened by hargoniX
October 3, 2024 11:47 56s hbv/redlength
hbv/redlength
October 3, 2024 11:47 56s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for stage0 changes #4991: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:24 34s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:24 34s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for stage0 changes #4990: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:22 38s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:22 38s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for stage0 changes #4989: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:18 31s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:18 31s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for stage0 changes #4988: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:09 34s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:09 34s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for stage0 changes #4987: Pull request #5604 synchronize by luisacicolini
October 3, 2024 08:47 30s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 08:47 30s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for stage0 changes #4986: Pull request #5604 synchronize by luisacicolini
October 3, 2024 08:37 34s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 08:37 34s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for stage0 changes #4985: Pull request #5604 opened by luisacicolini
October 3, 2024 08:27 31s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 08:27 31s
Check for stage0 changes Check for stage0 changes #4984: Merge group checks requested
October 3, 2024 07:29 43s
October 3, 2024 07:29 43s
feat: Array/Option.unattach Check for stage0 changes #4983: Pull request #5586 synchronize by kim-em
October 3, 2024 07:06 51s unattach_option
unattach_option
October 3, 2024 07:06 51s
feat: Array/Option.unattach Check for stage0 changes #4982: Pull request #5586 synchronize by kim-em
October 3, 2024 07:02 51s unattach_option
unattach_option
October 3, 2024 07:02 51s
Check for stage0 changes Check for stage0 changes #4981: Merge group checks requested
October 3, 2024 06:56 45s
October 3, 2024 06:56 45s
Check for stage0 changes Check for stage0 changes #4980: Merge group checks requested
October 3, 2024 06:42 27s
October 3, 2024 06:42 27s
Check for stage0 changes Check for stage0 changes #4979: Merge group checks requested
October 3, 2024 06:26 29s
October 3, 2024 06:26 29s
Check for stage0 changes Check for stage0 changes #4978: Merge group checks requested
October 3, 2024 06:20 28s
October 3, 2024 06:20 28s
feat: adding Insert/Singleton/Union instances for HashMap/Set.Raw Check for stage0 changes #4977: Pull request #5590 synchronize by kim-em
October 3, 2024 06:05 30s raw_instances
raw_instances
October 3, 2024 06:05 30s