Skip to content

Enhance error reporting with GitHub annotation groups #7

Enhance error reporting with GitHub annotation groups

Enhance error reporting with GitHub annotation groups #7

Triggered via pull request June 22, 2024 04:31
Status Success
Total duration 12s
Artifacts

pull-request.yml

on: pull_request
check-merge-commits
4s
check-merge-commits
Fit to window
Zoom out
Zoom in

Annotations

1 notice
check-merge-commits
No merge commits found