Skip to content

Added the permissions key to the GitHub workflow jobs. #1683

Added the permissions key to the GitHub workflow jobs.

Added the permissions key to the GitHub workflow jobs. #1683

Triggered via push October 17, 2025 22:22
Status Success
Total duration 18m 28s
Artifacts
Fit to window
Zoom out
Zoom in