Code

Add create-release workflow#252

Code

Merged

PatrickMassot merged 1 commit intoavigad:masteravigad/mathematics_in_lean_source:masterfrom pitmonticone:workflow-create-releasepitmonticone/mathematics_in_lean_source:workflow-create-releaseCopy head branch name to clipboardNov 8, 2024

+66

Commits

Commits on Nov 8, 2024

• Create create-release.yml

  pitmonticone

  committed
  4b7c51e