Skip to content

Introduce an option to use the GitHub API to commit changes, for GPG #257

Introduce an option to use the GitHub API to commit changes, for GPG

Introduce an option to use the GitHub API to commit changes, for GPG #257

Triggered via pull request November 2, 2024 11:30
Status Success
Total duration 23s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in