Merge branch 'feature/release/release-stable' into 'master'
Make release process almost entirely automatic Closes #512 See merge request frama-c/frama-c!3883
Showing
- .gitignore 2 additions, 2 deletions.gitignore
- .gitlab-ci.yml 152 additions, 44 deletions.gitlab-ci.yml
- bin/build-src-distrib.sh 1 addition, 1 deletionbin/build-src-distrib.sh
- dev/build-release.sh 471 additions, 0 deletionsdev/build-release.sh
- dev/update_api_doc.sh 0 additions, 0 deletionsdev/update_api_doc.sh
- doc/Makefile 16 additions, 5 deletionsdoc/Makefile
- doc/aorai/Makefile 7 additions, 7 deletionsdoc/aorai/Makefile
- doc/developer/Makefile 7 additions, 8 deletionsdoc/developer/Makefile
- doc/release/branch.tex 11 additions, 13 deletionsdoc/release/branch.tex
- doc/release/build.tex 0 additions, 360 deletionsdoc/release/build.tex
- doc/release/deploy.tex 63 additions, 89 deletionsdoc/release/deploy.tex
- doc/release/intro.tex 18 additions, 19 deletionsdoc/release/intro.tex
- doc/release/release.tex 2 additions, 2 deletionsdoc/release/release.tex
- doc/release/standalone-src.tex 6 additions, 31 deletionsdoc/release/standalone-src.tex
- doc/release/validation.tex 201 additions, 0 deletionsdoc/release/validation.tex
- nix/frama-c-checkers-shell.nix 2 additions, 0 deletionsnix/frama-c-checkers-shell.nix
- nix/frama-c-public/known_hosts 3 additions, 0 deletionsnix/frama-c-public/known_hosts
- nix/frama-c-public/publish-opam.sh 112 additions, 0 deletionsnix/frama-c-public/publish-opam.sh
- nix/frama-c-public/publish-release.sh 47 additions, 0 deletionsnix/frama-c-public/publish-release.sh
- nix/frama-c-public/publish-website.sh 118 additions, 0 deletionsnix/frama-c-public/publish-website.sh
Loading
Please register or sign in to comment