Add support for Microkit on riscv64 #499
nspinpush.yaml
on: push
Check licenses
16s
Check source
2m 41s
Run other tests
7m 21s
Build docs
1m 57s
Deploy docs
30s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
github-pages
Expired
|
142 MB |
|