search

ImperialCollegeLondon / FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Apache License 2.0
262 stars 48 forks source link

Create `create-release` workflow #213

Closed pitmonticone closed 2 weeks ago

pitmonticone commented 3 weeks ago

Adds a create-release workflow which automates the creation of a new Git tag and GitHub release when the lean-toolchain file is updated in the main branch.

kbuzzard commented 2 weeks ago

Thanks! This has a conflict right now.

pitmonticone commented 2 weeks ago

Resolved.

kbuzzard commented 2 weeks ago

Thanks!