Skip to content
.github/workflows/ci.yml

Update README.md to include status badge #2

Sign in to view logs

Update README.md to include status badge

Update README.md to include status badge #2

Triggered via push March 26, 2024 16:38
@mattvennmattvenn
pushed ccbb141
main
Status Success
Total duration 13m 47s
Artifacts –

ci.yml

on: push
riscv-formal
13m 35s
riscv-formal
Fit to window
Zoom out
Zoom in