Skip to content

Fix missing public input gate #27

Fix missing public input gate

Fix missing public input gate #27

Workflow file for this run

# This Github action allows us to obtain better browsable code
# on https://sourcegraph.com/github.com/o1-labs/proof-systems
name: Sourcegraph (LSIF)
on:
- push
jobs:
index:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Generate LSIF data
uses: sourcegraph/lsif-rust-action@main
- name: Upload LSIF data
uses: sourcegraph/lsif-upload-action@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}