DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #413 from HEPLean/bump-issue-template

Browse source 
feat: Create Bump.yml
This commit is contained in:
Joseph Tooby-Smith 2025-03-20 11:37:59 -04:00 • committed by GitHub
commit a662754b34
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 47 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

47
.github/ISSUE_TEMPLATE/Bump.yml vendored Normal file
View file

@ -0,0 +1,47 @@
name: Bump Issue
description: Issue used to bump the version of a Lean.
title: "Bump to version: "
body:
- type: checkboxes
id: basics
attributes:
label: Basics
description: Please check off these items as you complete them
options:
- label: Update mathlib rev in lakefile.toml.
- label: Update doc-gen4 rev in lakefile.toml.
- label: Run `rm -rf .lake; lake update`.
- label: Check `lean-toolchain` updates correctly.
- label: Update the `README.md` file.
validations:
required: false
- type: checkboxes
id: build
attributes:
label: Build
description: Please check off these items as you complete them
options:
- label: Run `lake build` and fix any errors.
validations:
required: false
- type: checkboxes
id: scripts
attributes:
label: Scripts
description: Please check off these items as you complete them
options:
- label: Ensure `lake exe hepLen_style_lint` runs without errors.
- label: Ensure `lake exe TODO_to_yml mkFile` runs without errors.
- label: Ensure `lake exe stats mkHTML` runs without errors.
- label: Ensure `lake exe informal mkFile mkDot mkHTML` runs without errors.
validations:
required: false
- type: checkboxes
id: afterwords
attributes:
label: Afterwards
description: Please check off these items as you complete them
options:
- label: Create a tag for the new version.
validations:
required: false