Skip to content

Add a dev shell for opentitan #30

Add a dev shell for opentitan

Add a dev shell for opentitan #30

Triggered via pull request January 4, 2024 15:01
@nbdd0121nbdd0121
synchronize #8
opentitan
Status Success
Total duration 31s
Artifacts

quality.yml

on: pull_request
Fit to window
Zoom out
Zoom in