Skip to content

Make src/docs/copy.sh a little more robust #1577

Make src/docs/copy.sh a little more robust

Make src/docs/copy.sh a little more robust #1577

Triggered via pull request November 14, 2024 16:30
Status Success
Total duration 17m 29s
Artifacts

kind2-ci.yml

on: pull_request
Matrix: kind2-build
Fit to window
Zoom out
Zoom in