Skip to content
Secret Scanner

ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof #115

Sign in to view logs

ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof

ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof #115

Workflow file for this run

.github/workflows/secret-scanner.yml at 74194c0
# SPDX-License-Identifier: MPL-2.0
name: Secret Scanner
on:
pull_request:
push:
branches: [main]
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
jobs:
scan:

Check failure on line 17 in .github/workflows/secret-scanner.yml

View workflow run for this annotation

GitHub Actions / Secret Scanner

Invalid workflow file 

The workflow is not valid. .github/workflows/secret-scanner.yml (Line: 17, Col: 3): Error calling workflow 'hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@d135b05bfc647d0c0fbfedc7e80f37ea50f49236'. The nested job 'gitleaks' is requesting 'actions: read, pull-requests: write', but is only allowed 'actions: none, pull-requests: none'.
uses: hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@d135b05bfc647d0c0fbfedc7e80f37ea50f49236
secrets: inherit