Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • deb-build-jobs deb-build-jobs
  • Project information
    • Project information
    • Activity
    • Labels
    • Planning hierarchy
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 15
    • Issues 15
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 3
    • Merge requests 3
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Librem5
  • deb-build-jobsdeb-build-jobs
  • Merge requests
  • !37

Merged
Created Dec 17, 2018 by Guido Gunther@guido.guntherOwner

librem5-devkit-tools: Fix arch

  • Overview 0
  • Commits 2
  • Changes 1

Although it doesn't matter which arch we use use arm64 since that's what we intended to do in the last commit.

Edited Dec 17, 2018 by Guido Gunther
Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: devkit