Skip to content

Actions: ImperialCollegeLondon/FLT

Create Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump to latest Mathlib and v4.15.0-rc1 toolchain (#262)
Create Release #12: Commit 9c58df4 pushed by kbuzzard
December 2, 2024 09:51 18s main
December 2, 2024 09:51 18s
Bump mathlib (#248)
Create Release #11: Commit d6c13d0 pushed by kbuzzard
November 30, 2024 13:53 15s main
November 30, 2024 13:53 15s
bump mathlib (#221)
Create Release #9: Commit fed5e57 pushed by kbuzzard
November 18, 2024 12:30 1s main
November 18, 2024 12:30 1s
Beef up ring homomorphism to an algebra homomorphism task (#218)
Create Release #8: Commit afa70b6 pushed by kbuzzard
November 17, 2024 11:49 1s main
November 17, 2024 11:49 1s
bump mathlib (#220)
Create Release #7: Commit bbee48f pushed by kbuzzard
November 17, 2024 00:56 1s main
November 17, 2024 00:56 1s
Merge branch 'main' of github.com:ImperialCollegeLondon/FLT into main
Create Release #6: Commit 24e02d3 pushed by kbuzzard
November 16, 2024 16:29 1s main
November 16, 2024 16:29 1s
chore: golf a bit (#212)
Create Release #5: Commit 845664c pushed by kbuzzard
November 13, 2024 09:03 1s main
November 13, 2024 09:03 1s
Blueprint: IsDedekindDomain.HeightOneSpectrum.valuation_comap is done…
Create Release #4: Commit 7f9ccb8 pushed by kbuzzard
November 13, 2024 09:02 1s main
November 13, 2024 09:02 1s
Add Ahmad Alkhalawi's proof of finiteness
Create Release #3: Commit 2473f61 pushed by kbuzzard
November 12, 2024 21:41 2s main
November 12, 2024 21:41 2s
fill in valuation_comap (#194)
Create Release #2: Commit 409509d pushed by kbuzzard
November 12, 2024 21:33 1s main
November 12, 2024 21:33 1s
Create create-release.yml (#213)
Create Release #1: Commit 29dfe42 pushed by kbuzzard
November 11, 2024 15:24 1s main
November 11, 2024 15:24 1s