Skip to content

Zo on board#173

Draft
JanCSEM wants to merge 64 commits intopulp-platform:develfrom
JanCSEM:zo-on-board
Draft

Zo on board#173
JanCSEM wants to merge 64 commits intopulp-platform:develfrom
JanCSEM:zo-on-board

Conversation

@JanCSEM
Copy link

@JanCSEM JanCSEM commented Mar 10, 2026

Describe the intent of your PR here.

Added

Changed

Fixed

PR Merge Checklist

  1. The PR is rebased on the latest devel commit and pointing to devel.
  2. Your PR reviewed and approved.
  3. All checks are passing.
  4. The CHANGELOG.md file has been updated.
  5. If the docker was modified, change back its link after review.

runwangdl and others added 30 commits February 12, 2026 15:27
- Cleanup Docker flow to use a temporary build folder
- Install zsh and oh-my-zsh plugin
- Adapt GAP9 Docker Flow to support ARM64
- Add GAP9 Docker GitHub Build Flow
- Add GAP9 Run script to use real hardware
- Update README
- Fix missing pre-commit dependency

WIP
We still need x86 compilation for Autotiler
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants