Skip to content
Back to pull request #4228

Improve performance of bracket for AbstractLieAlgebraElem #10030

Sign in to view logs

Improve performance of bracket for AbstractLieAlgebraElem

Improve performance of bracket for AbstractLieAlgebraElem #10030

Workflow file for this run

.github/workflows/BibtoolCI.yml at e1c7e0c
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