Skip to content
Add bugs to bugs project

Make setup_dev and other scripts zsh-friendly #219

Sign in to view logs

Make setup_dev and other scripts zsh-friendly

Make setup_dev and other scripts zsh-friendly #219

Triggered via issue July 27, 2025 18:02
@delucchi-cmudelucchi-cmu
opened #525 a4fd10d
Status Success
Total duration 6s
Artifacts –

add-issue-to-project.yml

on: issues
Add issue to project
4s
Add issue to project
Fit to window
Zoom out
Zoom in