Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F Frama-C Website
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 4
    • Issues 4
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • Frama-C Website
  • Merge requests
  • !5

Rewrite link to download to link to gitlab

  • Review changes

  • Download
  • Email patches
  • Plain diff
Closed François Bobot requested to merge feature/use_gitlab_raw_for_download into master Nov 07, 2019
  • Overview 2
  • Commits 4
  • Pipelines 6
  • Changes 3

Il y a peut-être plus simple. Il faudrait aussi changer git lfs ou ajouter le téléchargement au script. Pour que les seuls fichiers qui ne sont pas dans l'artefact ou qui sont des git-lfs soit ceux qui sont dans download.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: feature/use_gitlab_raw_for_download