Skip to content

Enhance error reporting with GitHub annotation groups #8

Enhance error reporting with GitHub annotation groups

Enhance error reporting with GitHub annotation groups #8

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

pull-request.yml

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

Annotations

1 notice
check-merge-commits
No merge commits found