Skip to content

portindex: generate PortIndex.quick if missing #638

portindex: generate PortIndex.quick if missing

portindex: generate PortIndex.quick if missing #638

Triggered via push February 8, 2024 10:20
Status Success
Total duration 6m 8s
Artifacts

main.yml

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