diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index cc69030bd47d154446ddaaecae03f5362a777949..7b5bb453e89c056f9975018b8a4c2d96eaab6d44 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -39,6 +39,7 @@ pages: script: - cd generator - chmod +x ./generate + - curl https://git.frama-c.com/api/v4/projects/780/repository/files/Changelog/raw?ref=master > ../assets/Changelog - ./generate ../assets/Changelog -o ../html/changelog.html - cd .. - bundle exec jekyll build -d public