Merge pull request #1054 from STORM-IRIT/1051-clarify-build-instructi… #128
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
push-rc-ci.yml
on: push
increase-version-number
/
increase-version-number
59s
call-guideline-checks
/
Check linear history
0s
call-guideline-checks
/
Check filelist.cmake files correponds to autogenerated ones.
0s
call-deploy-doc
/
deploy-doc-index
9s
call-deploy-doc
/
deploy-doc
1m 18s
call-build
/
check-matrix
2s
Matrix: call-build / build
call-coverage
/
check-matrix
1s
Matrix: call-coverage / build
Annotations
18 warnings