Skip to content

Update thesis name for professional degree #51

Update thesis name for professional degree

Update thesis name for professional degree #51

Workflow file for this run

name: Test and release
on:
push:
pull_request:
jobs:
test:
if: ${{ !contains(github.event.head_commit.message, 'ci skip') }}
name: Test
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set up TeX Live
uses: zauguin/install-texlive@v3
with:
package_file: .github/tl_packages
- name: Test thesis
run: make main
- name: Test doc
run: make doc
- name: Run l3build
run: make test
- name: Archive failed test output
if: ${{ failure() }}
uses: actions/upload-artifact@v4
with:
name: testfiles
path: build/**/*.diff
retention-days: 3
release:
if: startsWith(github.ref, 'refs/tags/v')
needs: test
name: Release on GitHub
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Extract release notes
run: awk '/^#+ \[/ { if (p) { exit }; if ($2 != "[Unreleased]") { p=1 } } p' CHANGELOG.md > release-notes.md
- name: Create GitHub release
uses: ncipollo/release-action@v1
with:
bodyFile: "release-notes.md"