Skip to content

add +gobra headers in all packages (#22) #76

add +gobra headers in all packages (#22)

add +gobra headers in all packages (#22) #76

Triggered via push November 28, 2024 09:41
Status Success
Total duration 1m 12s
Artifacts

gobra.yml

on: push
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/