tiiuae / ghaf

TII SSRC Secure Technologies: Ghaf Framework
https://tiiuae.github.io/ghaf/
Apache License 2.0
39 stars 58 forks source link

build.yml: Build x86 generic and x1 targets #866

Closed henrirosten closed 1 week ago

henrirosten commented 1 week ago

Description of changes

Start building ghaf targets generic-x86_64-debug and lenovo-x1-carbon-gen11-debug in the build.yml workflow. This should work after https://github.com/tiiuae/ghaf/pull/865 since all the builds are now done on the remote builders, not on the github-hosted runners. Earlier attempts to enable generic-x86_64-debug or lenovo-x1-carbon-gen11-debug on the build workflow have failed due to two reasons: (1) github-hosted runners not having enough resources to build these massive targets and (2) hash mismatches I suspect have occurred mostly due to github-hosted runners running the builds on Ubuntu-based VMs. After https://github.com/tiiuae/ghaf/pull/865, both those issues should be resolved by running all the builds on the remote (nix) builders.

Depends-on: https://github.com/tiiuae/ghaf/pull/865: Do not merge before https://github.com/tiiuae/ghaf/pull/865 is merged.

This change was tested in a fork at: https://github.com/henrirosten/ghaf. Especially, see the generic-x86_64-debug and lenovo-x1-carbon-gen11-debug builds on the following test PRs:

Checklist for things done

Instructions for Testing