Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
146 workflow runs
146 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add some comments (for example mathlib PR numbers) Compile blueprint #151: Commit 35bb6ec pushed by kbuzzard
January 7, 2025 12:20 9m 44s main
main
January 7, 2025 12:20 9m 44s
chore: bump toolchain/Mathlib to v4.16.0-rc1 Compile blueprint #150: Pull request #306 synchronize by kim-em
January 7, 2025 00:05 3h 27m 12s kim-em:bump_to_v4.16.0-rc1
kim-em:bump_to_v4.16.0-rc1
January 7, 2025 00:05 3h 27m 12s
chore: bump toolchain/Mathlib to v4.16.0-rc1 Compile blueprint #149: Pull request #306 synchronize by kbuzzard
January 6, 2025 20:06 3h 26m 18s kim-em:bump_to_v4.16.0-rc1
kim-em:bump_to_v4.16.0-rc1
January 6, 2025 20:06 3h 26m 18s
chore: bump toolchain/Mathlib to v4.16.0-rc1 Compile blueprint #148: Pull request #306 synchronize by kbuzzard
January 6, 2025 20:05 58s kim-em:bump_to_v4.16.0-rc1
kim-em:bump_to_v4.16.0-rc1
January 6, 2025 20:05 58s
feat: progress towards Rat.AdeleRing.zero_discrete (#308) Compile blueprint #147: Commit 03d6656 pushed by kbuzzard
January 6, 2025 19:51 9m 57s main
main
January 6, 2025 19:51 9m 57s
feat: progress towards Rat.AdeleRing.zero_discrete Compile blueprint #146: Pull request #308 opened by kbuzzard
January 6, 2025 19:28 9m 21s adele-Q-discrete
adele-Q-discrete
January 6, 2025 19:28 9m 21s
Merge branch 'main' of github.com:ImperialCollegeLondon/FLT into main Compile blueprint #145: Commit 844227a pushed by kbuzzard
January 6, 2025 15:49 10m 5s main
main
January 6, 2025 15:49 10m 5s
chore: bump toolchain/Mathlib to v4.15.0 (#305) Compile blueprint #144: Commit 5a6f000 pushed by pitmonticone
January 6, 2025 14:27 51m 19s main
main
January 6, 2025 14:27 51m 19s
chore: bump toolchain/Mathlib to v4.16.0-rc1 Compile blueprint #143: Pull request #306 synchronize by kim-em
January 6, 2025 06:59 4h 8m 14s kim-em:bump_to_v4.16.0-rc1
kim-em:bump_to_v4.16.0-rc1
January 6, 2025 06:59 4h 8m 14s
chore: bump toolchain/Mathlib to v4.15.0 Compile blueprint #142: Pull request #305 synchronize by kim-em
January 6, 2025 06:56 50m 18s kim-em:bump_to_v4.15.0
kim-em:bump_to_v4.15.0
January 6, 2025 06:56 50m 18s
chore: bump toolchain/Mathlib to v4.16.0-rc1 Compile blueprint #141: Pull request #306 opened by kim-em
January 6, 2025 06:51 8m 17s kim-em:bump_to_v4.16.0-rc1
kim-em:bump_to_v4.16.0-rc1
January 6, 2025 06:51 8m 17s
chore: bump toolchain/Mathlib to v4.15.0 Compile blueprint #140: Pull request #305 opened by kim-em
January 6, 2025 06:47 3m 38s kim-em:bump_to_v4.15.0
kim-em:bump_to_v4.15.0
January 6, 2025 06:47 3m 38s
Revert "[create-pull-request] automated change (#303)" (#304) Compile blueprint #139: Commit d7c4ef5 pushed by kbuzzard
January 5, 2025 17:13 9m 57s main
main
January 5, 2025 17:13 9m 57s
Revert "Updates available and ready to merge" Compile blueprint #138: Pull request #304 opened by kbuzzard
January 5, 2025 17:13 9m 45s revert-303-auto-update/patch-7bxc1gl
revert-303-auto-update/patch-7bxc1gl
January 5, 2025 17:13 9m 45s
[create-pull-request] automated change (#303) Compile blueprint #137: Commit 3fbdf30 pushed by kbuzzard
January 5, 2025 14:34 2h 39m 32s main
main
January 5, 2025 14:34 2h 39m 32s
bump mathlib (#302) Compile blueprint #136: Commit b4c4cec pushed by kbuzzard
January 4, 2025 08:19 50m 46s main
main
January 4, 2025 08:19 50m 46s
bump mathlib Compile blueprint #135: Pull request #302 synchronize by kbuzzard
January 3, 2025 21:22 51m 0s bump-2025-01-03
bump-2025-01-03
January 3, 2025 21:22 51m 0s
bump mathlib Compile blueprint #134: Pull request #302 opened by kbuzzard
January 3, 2025 20:53 29m 5s bump-2025-01-03
bump-2025-01-03
January 3, 2025 20:53 29m 5s
Start on proof of Fujisaki (#300) Compile blueprint #133: Commit ee88c84 pushed by kbuzzard
January 3, 2025 15:24 9m 51s main
main
January 3, 2025 15:24 9m 51s
chore(GlobalLanglandsConjectures/GLnDefs): remove noisy #checks Compile blueprint #132: Commit 7ee515f pushed by kbuzzard
January 3, 2025 14:33 9m 51s main
main
January 3, 2025 14:33 9m 51s
chore(latex): Automorphic forms are R-valued Compile blueprint #131: Pull request #300 opened by kbuzzard
January 3, 2025 14:29 9m 45s fujisaki
fujisaki
January 3, 2025 14:29 9m 45s
bump mathlib Compile blueprint #130: Commit 8e51510 pushed by kbuzzard
January 2, 2025 22:16 49m 58s main
main
January 2, 2025 22:16 49m 58s
[create-pull-request] automated change (#299) Compile blueprint #129: Commit 8325355 pushed by pitmonticone
January 1, 2025 09:05 30m 12s main
main
January 1, 2025 09:05 30m 12s
[create-pull-request] automated change (#298) Compile blueprint #128: Commit 207eec1 pushed by pitmonticone
December 31, 2024 14:24 52m 43s main
main
December 31, 2024 14:24 52m 43s
put checkdecls back in CI (#297) Compile blueprint #127: Commit 2bdf3d7 pushed by kbuzzard
December 30, 2024 20:29 9m 34s main
main
December 30, 2024 20:29 9m 34s