CI · Workflow runs · androidmiao/sail-riscv · GitHub

Actions

All workflows
Workflows
- Build and test Lean backend Build and test Lean backend
- CI CI
- Publish test results Publish test results
- Release Release
- Rocq Rocq
- Run full tests Run full tests Disabled
Management
- Caches

CI

Actions

Loading...
Loading

1 workflow run

1 workflow run

Remove uses of slice() for better type-visible bounds checks (#1200) CI #1: Commit 6ee85c5 pushed by androidmiao

25m 30s master

master

25m 30s