Skip to content

Merge branch 'main' of github.com:cmudrc/pied-piper #31

Merge branch 'main' of github.com:cmudrc/pied-piper

Merge branch 'main' of github.com:cmudrc/pied-piper #31

Triggered via push January 13, 2026 19:29
Status Success
Total duration 41s
Artifacts 1

ci.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
html-coverage-report
310 KB
sha256:6d920cc7d93fe15202f01a5ad245862528f1c990a445562444d165509aa61514