diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 860223ebd7153bd6852ae4f05f7dab17f4705c7e..c8f440d3d37bed4ea3fdc5e109d69f58f93e7ced 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -32,7 +32,7 @@ pages: rules: - if: $CI_COMMIT_TAG # Run this job when a tag is created script: - - mkdir /tmp/public + - mkdir -p /tmp/public/releases - swipl -g "doc_save('.', [doc_root('/tmp/public'), recursive(true), if(true)])" -t halt - mv /tmp/public . - swipl -g "create_gitlab_releases_page('public/releases/index.html')" -t halt prolog/gitlabci.pl diff --git a/pack.pl b/pack.pl index 42ba3e5a9eaf87bd616b3db2298f435759504f3e..cbff6aadaaed19076a695f936c78e2e0e1ef8785 100644 --- a/pack.pl +++ b/pack.pl @@ -1,5 +1,5 @@ name('gitlabci'). -version('1.0.1'). +version('1.0.2'). title('Create a pack release page using Gitlab CI'). author('Sylvain Soliman', 'Sylvain.Soliman@inria.fr'). home('https://gitlab.inria.fr/soliman/gitlabci/').