Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • D dune-logging
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • staging
  • dune-logging
  • Merge requests
  • !11

Fix CI

  • Review changes

  • Download
  • Patches
  • Plain diff
Merged Santiago Ospina De Los Ríos requested to merge remove-ci-tags into master Jul 21, 2020
  • Overview 0
  • Commits 2
  • Pipelines 1
  • Changes 1

HD runners are down and we need CI pass !10 (merged). This MR just add tags for the available shared runners at the moment.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: remove-ci-tags