Skip to content

Blueprint: IsDedekindDomain.HeightOneSpectrum.valuation_comap is done… #4

Blueprint: IsDedekindDomain.HeightOneSpectrum.valuation_comap is done…

Blueprint: IsDedekindDomain.HeightOneSpectrum.valuation_comap is done… #4

name: Create Release
on:
push:
branches:
- main
jobs:
create_release:
paths:

Check failure on line 10 in .github/workflows/create-release.yml

View workflow run for this annotation

GitHub Actions / Create Release

Invalid workflow file

The workflow is not valid. .github/workflows/create-release.yml (Line: 10, Col: 5): Unexpected value 'paths'
- 'lean-toolchain'
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v4
with:
fetch-depth: 2 # Fetch the last two commits for comparison
- name: Check if lean-toolchain has changed
id: check_file_change
run: |
# Check if the lean-toolchain file was modified in the last commit
if git diff --name-only HEAD~1 HEAD | grep -q "^lean-toolchain$"; then
echo "CHANGED=true" >> $GITHUB_ENV
else
echo "CHANGED=false" >> $GITHUB_ENV
fi
- name: Exit if lean-toolchain did not change
if: env.CHANGED != 'true'
run: echo "No changes in lean-toolchain. Skipping release."
- name: Read Lean version from lean-toolchain
if: env.CHANGED == 'true'
id: get_version
run: |
# Extract the version from the lean-toolchain file (everything after the colon)
LEAN_VERSION=$(cut -d ':' -f2 < lean-toolchain | tr -d '[:space:]')
echo "tag_name=${LEAN_VERSION}" >> $GITHUB_ENV
- name: Create Git tag
if: env.CHANGED == 'true'
run: |
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
git tag -a ${{ env.tag_name }} -m "Release ${{ env.tag_name }}"
git push origin ${{ env.tag_name }}
- name: Create GitHub Release
if: env.CHANGED == 'true'
uses: actions/github-script@v7
env:
tag_name: ${{ env.tag_name }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
script: |
const tagName = process.env.tag_name;
const releaseName = `${tagName}`;
await github.rest.repos.createRelease({
owner: context.repo.owner,
repo: context.repo.repo,
tag_name: tagName,
name: releaseName,
body: `Automated release for Lean version ${tagName}`,
draft: false,
prerelease: false
});