Skip to content

ci: update of files from global .github repo #132

ci: update of files from global .github repo

ci: update of files from global .github repo #132

Triggered via issue June 8, 2026 10:44
Status Skipped
Total duration 1s
Artifacts
Guard against unauthorized use
Guard against unauthorized use
Add microgrant label
Add microgrant label
Remove microgrant label
0s
Remove microgrant label
Fit to window
Zoom out
Zoom in