Skip to content

Merge pull request #1855 from github/jm_add_perms_to_github_action #226

Merge pull request #1855 from github/jm_add_perms_to_github_action

Merge pull request #1855 from github/jm_add_perms_to_github_action #226

Triggered via push August 6, 2024 20:28
Status Success
Total duration 58s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in