Skip to content

repo: move repo files into github directory #326

repo: move repo files into github directory

repo: move repo files into github directory #326

Triggered via push November 5, 2023 13:27
Status Success
Total duration 1m 15s
Artifacts

ci.yaml

on: push
Matrix: run-tests
Fit to window
Zoom out
Zoom in