Skip to content

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

ci: update of files from global .github repo

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

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