[release] produce release
Showing
- .gitlab-ci.yml 109 additions, 38 deletions.gitlab-ci.yml
- dev/build-release.sh 34 additions, 43 deletionsdev/build-release.sh
- nix/frama-c-public/publish-opam.sh 112 additions, 0 deletionsnix/frama-c-public/publish-opam.sh
- nix/frama-c-public/publish-website.sh 118 additions, 0 deletionsnix/frama-c-public/publish-website.sh
- nix/frama-c-public/publish-wiki.sh 97 additions, 0 deletionsnix/frama-c-public/publish-wiki.sh
Loading
Please register or sign in to comment