Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • deb-build-jobs deb-build-jobs
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 19
    • Issues 19
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 12
    • Merge requests 12
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages & Registries
    • Packages & 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

Due to an influx of spam, we have had to impose restrictions on new accounts. Please see this wiki page for instructions on how to get full permissions. Sorry for the inconvenience.

  • Librem5
  • deb-build-jobsdeb-build-jobs
  • Merge requests
  • !37

librem5-devkit-tools: Fix arch

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Guido Gunther requested to merge guido.gunther/deb-build-jobs:devkit into master Dec 17, 2018
  • Overview 0
  • Commits 2
  • Pipelines 0
  • 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