Skip to content

Actions: opencompl/lean-mlir

Actions

core library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
3,193 workflow run results
3,193 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: DC dialect operators (#654) core library #3626: Commit bc40d00 pushed by github-merge-queue bot
September 27, 2024 13:59 1m 37s main
main
September 27, 2024 13:59 1m 37s
core library core library #3625: Merge group checks requested
September 27, 2024 13:57 1m 22s
September 27, 2024 13:57 1m 22s
feat: DC dialect operators core library #3624: Pull request #654 synchronize by luisacicolini
September 27, 2024 13:36 1m 23s luisa/handshake-to-dc
luisa/handshake-to-dc
September 27, 2024 13:36 1m 23s
Failure in reflection after update to Lean 2024-09-26 core library #3623: Pull request #662 synchronize by tobiasgrosser
September 27, 2024 11:55 1m 33s broken_rfl
broken_rfl
September 27, 2024 11:55 1m 33s
Failure in reflection after update to Lean 2024-09-26 core library #3622: Pull request #662 synchronize by tobiasgrosser
September 27, 2024 11:48 1m 50s broken_rfl
broken_rfl
September 27, 2024 11:48 1m 50s
chore: updated mathlib 09-26 (#661) core library #3621: Commit c0efe64 pushed by github-merge-queue bot
September 27, 2024 09:17 8m 51s main
main
September 27, 2024 09:17 8m 51s
core library core library #3620: Merge group checks requested
September 27, 2024 09:08 9m 2s
September 27, 2024 09:08 9m 2s
chore: updated mathlib 09-26 core library #3619: Pull request #661 synchronize by tobiasgrosser
September 27, 2024 09:06 1m 5s update-mathlib-amatriciana
update-mathlib-amatriciana
September 27, 2024 09:06 1m 5s
chore: updated mathlib 09-26 core library #3618: Pull request #661 synchronize by tobiasgrosser
September 27, 2024 09:05 1m 51s update-mathlib-amatriciana
update-mathlib-amatriciana
September 27, 2024 09:05 1m 51s
Failure in reflection after update to Lean 2024-09-26 core library #3617: Pull request #662 opened by tobiasgrosser
September 27, 2024 09:02 4m 7s broken_rfl
broken_rfl
September 27, 2024 09:02 4m 7s
chore: updated mathlib 09-26 core library #3616: Pull request #661 opened by luisacicolini
September 27, 2024 08:38 9m 7s update-mathlib-amatriciana
update-mathlib-amatriciana
September 27, 2024 08:38 9m 7s
feat: DC dialect operators core library #3615: Pull request #654 synchronize by luisacicolini
September 27, 2024 07:01 3m 33s luisa/handshake-to-dc
luisa/handshake-to-dc
September 27, 2024 07:01 3m 33s
feat: DC dialect operators core library #3614: Pull request #654 synchronize by luisacicolini
September 26, 2024 17:26 3m 21s luisa/handshake-to-dc
luisa/handshake-to-dc
September 26, 2024 17:26 3m 21s
feat: DC dialect operators core library #3613: Pull request #654 synchronize by luisacicolini
September 26, 2024 17:22 2m 59s luisa/handshake-to-dc
luisa/handshake-to-dc
September 26, 2024 17:22 2m 59s
feat: BitVec.zero_sub (#658) core library #3612: Commit 831c747 pushed by github-merge-queue bot
September 26, 2024 17:19 2m 55s main
main
September 26, 2024 17:19 2m 55s
core library core library #3611: Merge group checks requested
September 26, 2024 17:16 2m 46s
September 26, 2024 17:16 2m 46s
feat: DC dialect operators core library #3610: Pull request #654 synchronize by luisacicolini
September 26, 2024 17:16 2m 57s luisa/handshake-to-dc
luisa/handshake-to-dc
September 26, 2024 17:16 2m 57s
feat: DC dialect operators core library #3609: Pull request #654 synchronize by luisacicolini
September 26, 2024 17:10 2m 57s luisa/handshake-to-dc
luisa/handshake-to-dc
September 26, 2024 17:10 2m 57s
feat: BitVec.zero_sub core library #3608: Pull request #658 synchronize by eurquhart1
September 26, 2024 17:08 2m 52s neg_eq_sub_zero
neg_eq_sub_zero
September 26, 2024 17:08 2m 52s
feat: BitVec.zero_sub core library #3607: Pull request #658 synchronize by eurquhart1
September 26, 2024 17:06 3m 0s neg_eq_sub_zero
neg_eq_sub_zero
September 26, 2024 17:06 3m 0s
feat: add devcontainer support (#659) core library #3606: Commit 1b9ebb8 pushed by github-merge-queue bot
September 26, 2024 17:05 2m 54s main
main
September 26, 2024 17:05 2m 54s
feat: BitVec.zero_sub core library #3605: Pull request #658 synchronize by eurquhart1
September 26, 2024 17:02 44s neg_eq_sub_zero
neg_eq_sub_zero
September 26, 2024 17:02 44s
core library core library #3604: Merge group checks requested
September 26, 2024 17:02 2m 53s
September 26, 2024 17:02 2m 53s
feat: add devcontainer support core library #3603: Pull request #659 opened by tobiasgrosser
September 26, 2024 16:58 3m 11s devcon
devcon
September 26, 2024 16:58 3m 11s
feat: BitVec.zero_sub core library #3602: Pull request #658 synchronize by emmau678
September 26, 2024 16:43 4m 22s neg_eq_sub_zero
neg_eq_sub_zero
September 26, 2024 16:43 4m 22s