Skip to content

add +gobra headers in all packages #75

add +gobra headers in all packages

add +gobra headers in all packages #75

Re-run triggered November 28, 2024 09:36
Status Success
Total duration 1m 21s
Artifacts

gobra.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
verify-pkgs
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/