Skip to content
.github/workflows/mirror.yml

proofs(lean4): promote ET-2 to main — L1 conversion is decidable (#27) #41

Sign in to view logs

proofs(lean4): promote ET-2 to main — L1 conversion is decidable (#27)

proofs(lean4): promote ET-2 to main — L1 conversion is decidable (#27) #41

Workflow file for this run

.github/workflows/mirror.yml at eed2092
# SPDX-License-Identifier: MPL-2.0
name: Mirror to Git Forges
on:
push:
branches: [main]
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: false
permissions:
contents: read
jobs:
mirror:
uses: hyperpolymath/standards/.github/workflows/mirror-reusable.yml@09e7023d24682621bea4e11965a1ef5e87d86c3b

Check failure on line 14 in .github/workflows/mirror.yml

View workflow run for this annotation

GitHub Actions / .github/workflows/mirror.yml

Invalid workflow file 

error parsing called workflow
".github/workflows/mirror.yml"
-> "hyperpolymath/standards/.github/workflows/mirror-reusable.yml@09e7023d24682621bea4e11965a1ef5e87d86c3b"
: (Line: 59, Col: 13): Unrecognized named-value: 'secrets'. Located at position 1 within expression: secrets.GITLAB_SSH_KEY != '', (Line: 63, Col: 13): Unrecognized named-value: 'secrets'. Located at position 1 within expression: secrets.GITLAB_SSH_KEY != '', (Line: 70, Col: 9): 'if' is already defined, (Line: 76, Col: 13): Unrecognized named-value: 'secrets'. Located at position 1 within expression: secrets.GITLAB_SSH_KEY == '', (Line: 89, Col: 13): Unrecognized named-value: 'secrets'. Located at position 1 within expression: secrets.BITBUCKET_SSH_KEY != '', (Line: 93, Col: 13): Unrecognized named-value: 'secrets'. Located at position 1 within expression: secrets.BITBUCKET_SSH_KEY != '', (Line: 99, Col: 13): Unrecognized named-value: 'secrets'. Located at position 1 within expression: secrets.BITBUCKET_SSH_KEY == '', (Line: 112, Col: 13): Unrecognized named-value: 'secrets'. Located at position 1 within expression: secrets.CODEBERG_SSH_KEY != '', (Line: 116, Col: 13): Unrecognized named-value: 'secrets'. Located at position 1 within expression: secrets.CODEBERG_SSH_KEY != '', (Line: 122, Col: 13): Unrecognized named-value: 'secrets'. Located at position 1 within expression: secrets.CODEBERG_SSH_KEY == ''
secrets: inherit