Skip to content

Actions: javierlcontreras/FLT

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Connect the Fujisaki lemmas in the blueprint (#331) Compile blueprint #21: Commit 463dc90 pushed by javierlcontreras
February 3, 2025 15:54 4m 4s main
main
February 3, 2025 15:54 4m 4s
remove config files Compile blueprint #20: Commit 0476d57 pushed by YaelDillies
January 25, 2025 13:36 52m 49s main
main
January 25, 2025 13:36 52m 49s
fix Compile blueprint #19: Commit 3d10ec4 pushed by YaelDillies
January 24, 2025 08:22 55m 4s main
main
January 24, 2025 08:22 55m 4s
Adapt to the new doc-gen setup Compile blueprint #18: Commit 1d7e8f2 pushed by YaelDillies
January 23, 2025 22:45 4m 5s main
main
January 23, 2025 22:45 4m 5s
Bump mathlib (#318) Compile blueprint #17: Commit 2d142bb pushed by YaelDillies
January 23, 2025 22:19 25m 48s main
main
January 23, 2025 22:19 25m 48s
Add missing adele proof Compile blueprint #16: Commit fe7dddb pushed by YaelDillies
January 22, 2025 13:10 53m 47s main
main
January 22, 2025 13:10 53m 47s
update module topology file after bump Compile blueprint #15: Commit 19564e0 pushed by javierlcontreras
January 21, 2025 13:17 54m 4s main
main
January 21, 2025 13:17 54m 4s
Bump mathlib Compile blueprint #14: Commit a0a2d94 pushed by YaelDillies
December 23, 2024 15:53 52m 24s main
main
December 23, 2024 15:53 52m 24s
feat(RepresentationTheory): Adds Subrepresentation, Representation.Ir… Compile blueprint #13: Commit 14bd4f6 pushed by YaelDillies
December 23, 2024 14:59 50m 51s main
main
December 23, 2024 14:59 50m 51s
bump mathlib (#290) Compile blueprint #12: Commit cc6ed6e pushed by javierlcontreras
December 20, 2024 12:00 51m 49s main
main
December 20, 2024 12:00 51m 49s
chore: update Frobenius to reflect new mathlib PR. Compile blueprint #11: Commit 227d04e pushed by YaelDillies
December 19, 2024 07:57 53m 40s main
main
December 19, 2024 07:57 53m 40s
chore: bump mathlib Compile blueprint #10: Commit b6ba352 pushed by javierlcontreras
December 18, 2024 09:06 52m 40s main
main
December 18, 2024 09:06 52m 40s
Create dependabot.yml Compile blueprint #9: Commit 9284fbd pushed by javierlcontreras
December 16, 2024 10:49 50m 44s main
main
December 16, 2024 10:49 50m 44s
feat(RepresentationTheory): adds subrepresentations, and irreducible Compile blueprint #8: Commit f389a04 pushed by javierlcontreras
December 16, 2024 10:43 1m 41s main
main
December 16, 2024 10:43 1m 41s
chore: add issue number Compile blueprint #7: Commit f7c20d3 pushed by YaelDillies
December 9, 2024 14:03 51m 11s main
main
December 9, 2024 14:03 51m 11s
feat: add statement of det_restrictScalars Compile blueprint #6: Commit ed6192a pushed by YaelDillies
December 9, 2024 11:52 51m 42s main
main
December 9, 2024 11:52 51m 42s
chore: fix sign in DistribHaarChar (#274) Compile blueprint #5: Commit c37498a pushed by YaelDillies
December 8, 2024 17:12 49m 2s main
main
December 8, 2024 17:12 49m 2s
Definition of map A_K^f -> A_L^f (#269) Compile blueprint #4: Commit a01a431 pushed by YaelDillies
December 8, 2024 16:36 35m 23s main
main
December 8, 2024 16:36 35m 23s
chore: docs Compile blueprint #3: Commit b520821 pushed by javierlcontreras
December 4, 2024 14:50 50m 55s main
main
December 4, 2024 14:50 50m 55s
CI: cache more docs (#264) Compile blueprint #2: Commit 177921c pushed by YaelDillies
December 2, 2024 21:23 51m 5s main
main
December 2, 2024 21:23 51m 5s
add more LaTeX for Fujisaki Compile blueprint #1: Commit 1930772 pushed by YaelDillies
December 2, 2024 13:05 53m 26s main
main
December 2, 2024 13:05 53m 26s