Merge pull request #800 from hermit-os/riscv64 #1918
github-merge-queue[bot]
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: push
Check
56s
Clippy
1m 31s
Format
16s
Check docs
29s
Build
1m 14s
Test
8m 57s
Run Hermit for Rust (x86_64 + kvm)
6m 0s
Matrix: Run