3737 run : |
3838 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"
3939 - name : Check out repo
40- uses : actions/checkout@v3
40+ uses : actions/checkout@v4
4141 with :
42- # the persisted token interferes with the subsplit token used below
4342 persist-credentials : false
4443 fetch-depth : 0
4544 - name : Move checked out repo to GAP user root dir
@@ -66,10 +65,27 @@ jobs:
6665 - name : Test LoopIntegrals
6766 run : |
6867 make -C LoopIntegrals --trace -j $(nproc) --output-sync ci-test
69- - name : Release package or simulate release
68+ - name : Process coverage files
69+ if : always() && matrix.image == 'ghcr.io/homalg-project/gap-docker:latest'
7070 run : |
7171 cd LoopIntegrals
7272 python3 dev/process_coverage.py
73+ - name : Collect coverage files
74+ if : always() && github.event_name != 'schedule' && matrix.image == 'ghcr.io/homalg-project/gap-docker:latest'
75+ run : |
76+ mkdir -p /tmp/coverage-collect
77+ cp LoopIntegrals/coverage*.json /tmp/coverage-collect/ 2>/dev/null || true
78+ - name : Upload coverage artifact
79+ if : always() && github.event_name != 'schedule' && matrix.image == 'ghcr.io/homalg-project/gap-docker:latest'
80+ uses : actions/upload-artifact@v4
81+ with :
82+ name : coverage
83+ path : /tmp/coverage-collect/
84+ if-no-files-found : ignore
85+ retention-days : 1
86+ - name : Release package or simulate release
87+ run : |
88+ cd LoopIntegrals
7389 git config --global user.name "Bot"
7490 git config --global user.email "empty"
7591 CUR_SHA=$(git rev-parse --verify HEAD)
8197 else \
8298 TOKEN="${{ secrets.GITHUB_TOKEN }}" ./dev/simulate_dist.sh; \
8399 fi
84- - name : Upload code coverage
85- if : github.event_name != 'schedule' && matrix.image == 'ghcr.io/homalg-project/gap-docker:latest'
86- env :
87- CODECOV_TOKEN : ${{ secrets.CODECOV_TOKEN }}
88- run : |
89- cd LoopIntegrals
90- ./dev/upload_codecov.sh
0 commit comments