Propagate upstream renaming of sel4cp -> microkit #33
nspin
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
push.yaml
on: push
Build and check
28m 37s
Deploy docs
52s
Annotations
1 warning
|
Deploy docs
Uploaded artifact size of 1083351040 bytes exceeds the allowed size of 1 GB. Deployment might fail.
|