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: update to 2024-10-22 core library #3896: Pull request #714 opened by tobiasgrosser
October 22, 2024 21:33 10m 47s mathlib-santaclara
mathlib-santaclara
October 22, 2024 21:33 10m 47s
chore: update mathlib 2024-10-19 (#713) core library #3895: Commit 806cae7 pushed by github-merge-queue bot
October 22, 2024 21:03 11m 23s main
main
October 22, 2024 21:03 11m 23s
core library core library #3894: Merge group checks requested
October 22, 2024 21:01 1m 23s
October 22, 2024 21:01 1m 23s
chore: update mathlib 2024-10-19 core library #3893: Pull request #713 synchronize by tobiasgrosser
October 22, 2024 13:54 1m 37s update-mathlib-chinchilla
update-mathlib-chinchilla
October 22, 2024 13:54 1m 37s
core library core library #3892: Merge group checks requested
October 22, 2024 13:32 11m 27s
October 22, 2024 13:32 11m 27s
chore: update mathlib 2024-10-19 core library #3891: Pull request #713 synchronize by tobiasgrosser
October 22, 2024 13:16 11m 26s update-mathlib-chinchilla
update-mathlib-chinchilla
October 22, 2024 13:16 11m 26s
chore: update mathlib 2024-10-19 core library #3890: Pull request #713 opened by luisacicolini
October 19, 2024 13:54 5m 26s update-mathlib-chinchilla
update-mathlib-chinchilla
October 19, 2024 13:54 5m 26s
chore: moved examples from chapter 3 (Hackers' Delight), used `bv_aut… core library #3889: Commit ac08b76 pushed by github-merge-queue bot
October 18, 2024 08:48 1m 57s main
main
October 18, 2024 08:48 1m 57s
core library core library #3888: Merge group checks requested
October 18, 2024 08:45 1m 58s
October 18, 2024 08:45 1m 58s
chore: moved examples from chapter 3 (Hackers' Delight), used bv_auto with fixed width core library #3887: Pull request #705 synchronize by luisacicolini
October 18, 2024 06:41 2m 21s hackers-del-ch-2-3
hackers-del-ch-2-3
October 18, 2024 06:41 2m 21s
chore: moved examples from chapter 3 (Hackers' Delight), used bv_auto with fixed width core library #3886: Pull request #705 synchronize by luisacicolini
October 18, 2024 06:40 1m 27s hackers-del-ch-2-3
hackers-del-ch-2-3
October 18, 2024 06:40 1m 27s
chore: moved examples from chapter 3 (Hackers' Delight), used bv_auto with fixed width core library #3885: Pull request #705 synchronize by luisacicolini
October 18, 2024 06:38 1m 35s hackers-del-ch-2-3
hackers-del-ch-2-3
October 18, 2024 06:38 1m 35s
chore: moved examples from chapter 3 (Hackers' Delight), used bv_auto with fixed width core library #3884: Pull request #705 synchronize by luisacicolini
October 18, 2024 06:32 1m 21s hackers-del-ch-2-3
hackers-del-ch-2-3
October 18, 2024 06:32 1m 21s
chore: drop unused theorems core library #3883: Pull request #712 opened by tobiasgrosser
October 17, 2024 19:55 5m 40s drop_unused
drop_unused
October 17, 2024 19:55 5m 40s
chore: update mathlib nightly 2024-10-17 (#711) core library #3882: Commit f6b42bc pushed by github-merge-queue bot
October 17, 2024 19:53 10m 44s main
main
October 17, 2024 19:53 10m 44s
core library core library #3881: Merge group checks requested
October 17, 2024 19:41 11m 18s
October 17, 2024 19:41 11m 18s
chore: update mathlib nightly 2024-10-17 core library #3880: Pull request #711 synchronize by tobiasgrosser
October 17, 2024 19:36 4m 30s update-mathlib-ananas
update-mathlib-ananas
October 17, 2024 19:36 4m 30s
chore: update mathlib nightly 2024-10-17 core library #3879: Pull request #711 synchronize by tobiasgrosser
October 17, 2024 19:31 4m 20s update-mathlib-ananas
update-mathlib-ananas
October 17, 2024 19:31 4m 20s
chore: update mathlib nightly 2024-10-17 core library #3878: Pull request #711 synchronize by tobiasgrosser
October 17, 2024 16:34 10m 41s update-mathlib-ananas
update-mathlib-ananas
October 17, 2024 16:34 10m 41s
chore: update mathlib nightly 2024-10-17 core library #3877: Pull request #711 synchronize by tobiasgrosser
October 17, 2024 16:26 6m 32s update-mathlib-ananas
update-mathlib-ananas
October 17, 2024 16:26 6m 32s
chore: update mathlib nightly 2024-10-17 core library #3876: Pull request #711 synchronize by luisacicolini
October 17, 2024 15:25 5m 43s update-mathlib-ananas
update-mathlib-ananas
October 17, 2024 15:25 5m 43s
chore: update mathlib nightly 2024-10-17 core library #3875: Pull request #711 synchronize by luisacicolini
October 17, 2024 15:18 3m 32s update-mathlib-ananas
update-mathlib-ananas
October 17, 2024 15:18 3m 32s
chore: update mathlib nightly 2024-10-17 core library #3874: Pull request #711 synchronize by luisacicolini
October 17, 2024 11:58 10m 34s update-mathlib-ananas
update-mathlib-ananas
October 17, 2024 11:58 10m 34s
chore: update mathlib nightly 2024-10-17 core library #3873: Pull request #711 synchronize by ineol
October 17, 2024 10:47 3m 40s update-mathlib-ananas
update-mathlib-ananas
October 17, 2024 10:47 3m 40s
chore: update mathlib nightly 2024-10-17 core library #3872: Pull request #711 opened by luisacicolini
October 17, 2024 09:19 3m 23s update-mathlib-ananas
update-mathlib-ananas
October 17, 2024 09:19 3m 23s