generate-docs

needs a patch to properly build everything, oops #17

Sign in to view logs

Triggered via push July 8, 2025 20:18

rv32ima

master

Status Skipped

Total duration 1s

Artifacts –

docs.yml

on: push