Skip to content

Add a dev shell for opentitan #27

Add a dev shell for opentitan

Add a dev shell for opentitan #27

Triggered via pull request January 3, 2024 17:18
@nbdd0121nbdd0121
synchronize #8
opentitan
Status Success
Total duration 31s
Artifacts

quality.yml

on: pull_request
Fit to window
Zoom out
Zoom in