diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml index f228507c6..7fbb003b3 100644 --- a/.github/workflows/gobra.yml +++ b/.github/workflows/gobra.yml @@ -12,6 +12,7 @@ on: - master pull_request: # run this workflow on every pull_request + env: headerOnly: 1 module: 'github.com/scionproto/scion'