Skip to content

Fix repository name in the shields #7

Fix repository name in the shields

Fix repository name in the shields #7

Triggered via push March 28, 2025 08:45
Status Success
Total duration 27s
Artifacts

main.yml

on: push
lint-and-format
12s
lint-and-format
Matrix: tests-and-type-check
Fit to window
Zoom out
Zoom in