Skip to content

Improve names of attributes of derivations #4807

Improve names of attributes of derivations

Improve names of attributes of derivations #4807

Workflow file for this run

name: Tests
on:
push:
branches:
- "master"
- "*-ci"
pull_request:
schedule:
- cron: "0 4 * * *" # after gap-docker(-master) is rebuilt
workflow_dispatch:
# cancel runs for pull requests on force push
# https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#example-using-a-fallback-value
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}-${{ github.run_attempt }}
cancel-in-progress: true
jobs:
test:
strategy:
matrix:
image: ["ghcr.io/homalg-project/gap-docker:latest", "ghcr.io/homalg-project/gap-docker-master:latest"]
fail-fast: false
runs-on: ubuntu-latest
container:
image: ${{ matrix.image }}
defaults:
run:
working-directory: /home/gap/.gap/pkg/
env:
# HOME is already set in the docker container, but GitHub Actions overwrites it
HOME: /home/gap
steps:
- name: Keep workflow active even if repository has no activity for 60 days
if: github.event_name != 'pull_request'
run: |
curl --fail -X PUT -H "Accept: application/vnd.github.v3+json" -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" "https://api.github.com/repos/$GITHUB_REPOSITORY/actions/workflows/Tests.yml/enable"
- name: Check out repo
uses: actions/checkout@v3
with:
# the persisted token interferes with the subsplit token used below
persist-credentials: false
fetch-depth: 0
- name: Move checked out repo to GAP user root dir
run: |
cp -a $GITHUB_WORKSPACE /home/gap/.gap/pkg/
- name: Prepare environment
run: |
cp ./CAP_project/dev/ci_gaprc /home/gap/.gap/gaprc
git clone --depth 1 -vv https://github.com/gap-packages/AutoDoc.git
git clone --depth 1 -vv https://github.com/homalg-project/homalg_project.git
- name: Build documentation of packages which we might want to reference
run: |
# keep this in sync with `dev/.release`
if [ -d "CAP_project/CAP" ]; then make -C "CAP_project/CAP" doc; fi
if [ -d "CAP_project/CompilerForCAP" ]; then make -C "CAP_project/CompilerForCAP" doc; fi
if [ -d "CAP_project/MonoidalCategories" ]; then make -C "CAP_project/MonoidalCategories" doc; fi
if [ -d "CAP_project/CartesianCategories" ]; then make -C "CAP_project/CartesianCategories" doc; fi
if [ -d "CAP_project/FreydCategoriesForCAP" ]; then make -C "CAP_project/FreydCategoriesForCAP" doc; fi
if [ -d "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" ]; then make -C "HigherHomologicalAlgebra/ToolsForHigherHomologicalAlgebra" doc; fi
if [ -d "homalg_project/homalg" ]; then make -C "homalg_project/homalg" doc; fi
if [ -d "homalg_project/Modules" ]; then make -C "homalg_project/Modules" doc; fi
if [ -d "CategoricalTowers/ToolsForCategoricalTowers" ]; then make -C "CategoricalTowers/ToolsForCategoricalTowers" doc; fi
if [ -d "CategoricalTowers/Toposes" ]; then make -C "CategoricalTowers/Toposes" doc; fi
- name: Test CAP_project
run: |
make -C CAP_project --trace -j $(nproc) --output-sync ci-test
- name: Release package or simulate release
run: |
cd CAP_project
python3 dev/process_coverage.py
git config --global user.name "Bot"
git config --global user.email "empty"
CUR_SHA=$(git rev-parse --verify HEAD)
git fetch origin gh-pages
git worktree add gh-pages/ gh-pages || (echo "There was an error. Make sure there is a branch named 'gh-pages'. See https://github.com/homalg-project/PackageJanitor#error-there-was-an-error-make-sure-there-is-a-branch-named-gh-pages"; exit 1)
if [ "${{ matrix.image }}" = "ghcr.io/homalg-project/gap-docker:latest" ] && [ "$CUR_SHA" = "$(git rev-parse origin/master)" ] && [ $(dirname "$GITHUB_REPOSITORY") = "homalg-project" ]; then \
git checkout master; \
TOKEN="${{ secrets.GITHUB_TOKEN }}" SUBSPLIT_PUSH_SECRET="${{ secrets.SUBSPLIT_PUSH_SECRET }}" ./dev/make_dist.sh; \
else \
TOKEN="${{ secrets.GITHUB_TOKEN }}" ./dev/simulate_dist.sh; \
fi
- name: Upload code coverage
if: github.event_name != 'schedule' && matrix.image == 'ghcr.io/homalg-project/gap-docker-master:latest'
run: |
cd CAP_project
./dev/upload_codecov.sh