Skip to content

add develop.sh script to enter pure dev shell without direnv #82

add develop.sh script to enter pure dev shell without direnv

add develop.sh script to enter pure dev shell without direnv #82

Annotations

2 warnings

update (ubuntu-latest)

succeeded Feb 10, 2025 in 33s