WIP. Move some more work into the links so it can be specialized. · scionproto/scion@0ba0d52

Triggered via pull request February 28, 2025 18:16

opened #4716

Status Success

Total duration 2m 18s

Artifacts 1

gobra.yml

on: pull_request

1 warning

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/

Produced during runtime

Name	Size
verification_stats.json	1.2 KB