Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
3,626 workflow runs
3,626 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: improve preprocessing of bv_automata' (#710) core library #3871: Commit 64b116e pushed by github-merge-queue bot
October 16, 2024 15:33 7m 48s main
main
October 16, 2024 15:33 7m 48s
core library core library #3870: Merge group checks requested
October 16, 2024 15:25 7m 36s
October 16, 2024 15:25 7m 36s
chore: improve preprocessing of bv_automata' core library #3869: Pull request #710 opened by ineol
October 16, 2024 13:23 7m 42s bv_auto_better
bv_auto_better
October 16, 2024 13:23 7m 42s
feat: Fixed lshr and shl being swapped in PrettyEDSL (#709) core library #3868: Commit ce6c733 pushed by github-merge-queue bot
October 16, 2024 12:16 5m 14s main
main
October 16, 2024 12:16 5m 14s
core library core library #3867: Merge group checks requested
October 16, 2024 12:11 5m 11s
October 16, 2024 12:11 5m 11s
feat: Fixed lshr and shl being swapped in PrettyEDSL core library #3866: Pull request #709 synchronize by lfrenot
October 16, 2024 12:02 5m 20s instcombine-pretty-shl
instcombine-pretty-shl
October 16, 2024 12:02 5m 20s
chore: update mathlib (#708) core library #3865: Commit bdd19d8 pushed by github-merge-queue bot
October 16, 2024 11:00 10m 57s main
main
October 16, 2024 11:00 10m 57s
feat: Fixed lshr and shl being swapped in PrettyEDSL core library #3864: Pull request #709 opened by lfrenot
October 16, 2024 10:49 8m 14s instcombine-pretty-shl
instcombine-pretty-shl
October 16, 2024 10:49 8m 14s
core library core library #3863: Merge group checks requested
October 16, 2024 10:48 11m 5s
October 16, 2024 10:48 11m 5s
chore: update mathlib core library #3862: Pull request #708 synchronize by luisacicolini
October 16, 2024 09:37 10m 48s update-mathlib-pistacchio
update-mathlib-pistacchio
October 16, 2024 09:37 10m 48s
chore: update mathlib core library #3861: Pull request #708 opened by luisacicolini
October 16, 2024 09:17 3m 38s update-mathlib-pistacchio
update-mathlib-pistacchio
October 16, 2024 09:17 3m 38s
feat: Start proving termination of NFA constructs (#707) core library #3860: Commit 71653c8 pushed by github-merge-queue bot
October 15, 2024 16:43 8m 39s main
main
October 15, 2024 16:43 8m 39s
core library core library #3859: Merge group checks requested
October 15, 2024 16:34 8m 17s
October 15, 2024 16:34 8m 17s
feat: Start proving termination of NFA constructs core library #3858: Pull request #707 opened by ineol
October 15, 2024 16:25 8m 45s bv_auto_term
bv_auto_term
October 15, 2024 16:25 8m 45s
feat: fixed deep recursion error in some generated InstCombine test cases core library #3857: Pull request #706 opened by lfrenot
October 15, 2024 13:53 9m 21s instcombine-kernel-deep-recursion
instcombine-kernel-deep-recursion
October 15, 2024 13:53 9m 21s
chore: moved examples from chapter 3 (Hackers' Delight), used bv_auto with fixed width core library #3856: Pull request #705 synchronize by luisacicolini
October 15, 2024 12:43 7m 50s hackers-del-ch-2-3
hackers-del-ch-2-3
October 15, 2024 12:43 7m 50s
chore: moved examples from chapter 3 (Hackers' Delight), used bv_auto with fixed width core library #3855: Pull request #705 synchronize by luisacicolini
October 15, 2024 12:41 8m 51s hackers-del-ch-2-3
hackers-del-ch-2-3
October 15, 2024 12:41 8m 51s
chore: moved examples from chapter 3 (Hackers' Delight), used bv_auto with fixed width core library #3854: Pull request #705 synchronize by luisacicolini
October 15, 2024 12:40 42s hackers-del-ch-2-3
hackers-del-ch-2-3
October 15, 2024 12:40 42s
chore: moved examples from chapter 3 (Hackers' Delight), used bv_auto with fixed width core library #3853: Pull request #705 synchronize by luisacicolini
October 15, 2024 10:06 44s hackers-del-ch-2-3
hackers-del-ch-2-3
October 15, 2024 10:06 44s
chore: moved examples from chapter 3 (Hackers' Delight), used bv_auto with fixed width core library #3852: Pull request #705 synchronize by luisacicolini
October 15, 2024 09:38 50s hackers-del-ch-2-3
hackers-del-ch-2-3
October 15, 2024 09:38 50s
chore: moved examples from chapter 3 (Hackers' Delight), used bv_auto with fixed width core library #3851: Pull request #705 synchronize by luisacicolini
October 15, 2024 09:36 41s hackers-del-ch-2-3
hackers-del-ch-2-3
October 15, 2024 09:36 41s
chore: moved examples from chapter 3 (Hackers' Delight), used bv_auto with fixed width core library #3850: Pull request #705 opened by luisacicolini
October 15, 2024 09:33 40s hackers-del-ch-2-3
hackers-del-ch-2-3
October 15, 2024 09:33 40s
feat: make bv_automata' faster (#704) core library #3849: Commit 0046648 pushed by github-merge-queue bot
October 15, 2024 09:16 8m 12s main
main
October 15, 2024 09:16 8m 12s
core library core library #3848: Merge group checks requested
October 15, 2024 09:07 8m 12s
October 15, 2024 09:07 8m 12s
feat: make bv_automata' faster core library #3847: Pull request #704 synchronize by ineol
October 15, 2024 08:59 7m 59s bv_auto_3x
bv_auto_3x
October 15, 2024 08:59 7m 59s