doc: update NAT address discovery design document #2101
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Verify the specified codebase | |
on: | |
push: # run this workflow on every push | |
pull_request: # run this workflow on every pull_request | |
jobs: | |
setup-and-test: | |
runs-on: ubuntu-latest | |
env: | |
statsFile: '/gobra/stats.json' | |
steps: | |
- name: Checkout the SCION repository | |
uses: actions/checkout@v2 | |
- name: Set-up caching for the verification results | |
uses: actions/cache@v3 | |
env: | |
cache-name: gobra-cache | |
with: | |
path: ${{ runner.workspace }}/.gobra/cache.json | |
key: ${{ env.cache-name }} | |
- name: Verify the specified files | |
uses: viperproject/[email protected] | |
with: | |
# Prefix used to resolve SCION packages | |
module: 'github.com/scionproto/scion/' | |
# Gobra only verifies files annotated with the header "// +gobra" | |
headerOnly: '1' | |
# Traverse the entire repository, including nested packages, | |
# in search for annotated files to verify | |
recursive: '1' | |
timeout: 10m | |
caching: '1' | |
statsFile: ${{ env.statsFile }} | |
- name: Upload the verification report | |
uses: actions/upload-artifact@v4 | |
with: | |
name: verification_stats.json | |
path: ${{ env.statsFile }} |