Skip to content
.github/workflows/ci.yml

clean Makefile #10

Sign in to view logs

clean Makefile

clean Makefile #10

Triggered via push June 17, 2024 06:20
@mmickommicko
pushed 87c89ac
main
Status Success
Total duration 12m 57s
Artifacts –

ci.yml

on: push
riscv-formal
12m 48s
riscv-formal
Fit to window
Zoom out
Zoom in