Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

No match for platform in manifest: not found on host-arm64 #502

Closed
ChinYikMing opened this issue Oct 19, 2024 · 0 comments · Fixed by #503
Closed

No match for platform in manifest: not found on host-arm64 #502

ChinYikMing opened this issue Oct 19, 2024 · 0 comments · Fixed by #503
Assignees
@ChinYikMing
Milestone
release-2024.2

Comments

@ChinYikMing
Copy link
Collaborator

ChinYikMing commented Oct 19, 2024 •
edited
Loading

CI on host-arm64 fails during this action. Based on issues [1] of the run-on-arch-action script, the base_image option can be useful. When utilizing base_image, we should specify the --platform, and set both the distro and arch to none [2].

with:
    arch: none
    distro: none
    base_image: "--platform=linux/arm64 arm64v8/ubuntu:22.04"

The original arch and distro manner could be reused once PR[3] or other related works are merged.

Tested on action.

Reference:
[1] No match for platform in manifest: not found, fedora_latest for other arches
[2] README
[3] Pass arch value to --platform
@ChinYikMing ChinYikMing self-assigned this Oct 19, 2024
@ChinYikMing ChinYikMing changed the title No match for platform in manifest: not found on arm64-host No match for platform in manifest: not found on host-arm64 Oct 19, 2024
ChinYikMing added a commit to ChinYikMing/rv32emu that referenced this issue Oct 19, 2024
@ChinYikMing
CI: Fix error when running on host-arm64
64c7bab 
Close sysprog21#502
@ChinYikMing ChinYikMing mentioned this issue Oct 19, 2024
Merged
@jserv jserv added this to the release-2024.2 milestone Oct 20, 2024
@jserv jserv closed this as completed in 07e4cf2 Oct 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ChinYikMing ChinYikMing

Labels
None yet
Projects
None yet
Milestone
release-2024.2
Development

Successfully merging a pull request may close this issue.

CI: Fix error when running on host-arm64 ChinYikMing/rv32emu
2 participants
@jserv @ChinYikMing