This module requests a list of releases from the GitLab API
and produces their '.zip' URLs
- author
- - Sylvain Soliman
- copyright
- - Sylvain.Soliman@inria.fr
- license
- - BSD-2
- create_gitlab_releases_page(+OutputFile) is det
- Create a release page like create_gitlab_releases_page/2 relying on default options
- create_gitlab_releases_page(+OutputFile, +Options) is det
- Create a pack releases page using Options and defaulting to Gitlab CI predefined
environment variables.
- find_releases(+Domain, +ProjectID, -Releases:List) is det
- find a list of '.zip' release URLs from GitLab API
- download_file(+ReleaseUrl) is det
- Download ReleaseUrl in wget style
- write_html(+Title, +Releases:List, +OutputFile) is det
- Write in OutputFile the HTML document with all links in Releases
use Title as Title
