LieAlgebras: Adapt Demazure operator #10896
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Bibtool test | |
on: | |
push: | |
branches: | |
- master | |
- 'release-*' | |
pull_request: | |
workflow_dispatch: | |
concurrency: | |
# group by workflow and ref; the last slightly strange component ensures that for pull | |
# requests, we limit to 1 concurrent job, but for the master branch we don't | |
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/master' || github.run_number }} | |
# Cancel intermediate builds, but only if it is a pull request build. | |
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }} | |
jobs: | |
check-standard-refs: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
- name: Install bibtool | |
run: | | |
sudo apt-get -y update | |
sudo apt-get install -y bibtool | |
- name: Execute bibtool and check for changes | |
run: | | |
bibtool docs/oscar_references.bib -o docs/oscar_references.bib 2>&1 | tee bibtool.log | |
test \! -s bibtool.log | |
rm bibtool.log | |
if [ -n "$(git status --porcelain)" ]; then | |
echo "We employ bibtool to standardize the bibtex entries of our reference list." | |
echo "Your changes to the bibliography do not follow this standard." | |
echo "Please be encouraged to adjust your bibtex entries to this standard." | |
echo "To achieve this, please invoke the following command from the root directory of Oscar.jl:" | |
echo "bibtool docs/oscar_references.bib -o docs/oscar_references.bib" | |
echo "(Cf. https://docs.oscar-system.org/stable/DeveloperDocumentation/documentation/#Updating-the-bibliography)" | |
echo "This script will change the bibtex entries to match our standard." | |
echo "Note: The bibkeys change too, i.e. the strings that you use in the @cite commands of the documentation." | |
echo "Therefore, you will need to adjust your @cite commands in the OSCAR documentation as well." | |
exit 1 | |
else | |
exit 0 | |
fi |