action remove with #5
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: Certora Formal Verification | ||
| on: | ||
| schedule: | ||
| - cron: "0 0 * * *" | ||
| workflow_dispatch: | ||
| env: | ||
| SOLANA_VERSION: '1.18.16' | ||
| jobs: | ||
| verification: | ||
| name: Formal Verification | ||
| runs-on: ubuntu-latest | ||
| container: public.ecr.aws/certora/cvt-image:2024.10.16-4480-c8870b3 | ||
| steps: | ||
| - name: Checkout | ||
| uses: actions/checkout@v4 | ||
| - name: Setup python | ||
| uses: actions/setup-python@v5 | ||
| -name: Install certora CLI | ||
| run: pip install certora-cli | ||
| -name: Install solana | ||
| run: | | ||
| sh -c "$(curl -sSfL https://release.solana.com/v${{ env.SOLANA_VERSION }}/install)" | ||
| export PATH="$HOME/.local/share/solana/install/active_release/bin:$PATH" | ||
| -name: Install certora platform tools | ||
| run: | | ||
| mkdir $HOME/platform-tools-certora | ||
| wget https://github.com/Certora/certora-solana-platform-tools/releases/download/linux-x86_64-ubuntu-20.04-10-22-2024/platform-tools-linux-x86_64.tar.bz2 | ||
| cd $HOME | ||
| tar -xvjf platform-tools-linux-x86_64.tar.bz2 -C $HOME/platform-tools-certora | ||
| export PLATFORM_TOOLS_DIR=$HOME/.cache/solana/v1.41 | ||
| mv $PLATFORM_TOOLS_DIR/platform-tools $PLATFORM_TOOLS_DIR/platform-tools.backup | ||
| ln -sf $HOME/platform-tools-certora $PLATFORM_TOOLS_DIR/platform-tools | ||
| -name: Install just | ||
| - uses: extractions/setup-just@v2 | ||
| -name: Run formal verification | ||
| run: | | ||
| cd programs/manifest | ||
| just build-sbf | ||
| python3 verify-manifest.py -r rules.json | ||
| python3 verify-manifest.py -r rules-rb-tree.json | ||
| env: | ||
| CERTORA: "" | ||
| CERTORA_CLI: certoraRun | ||
| CERTORAKEY: ${{ secrets.CERTORAKEY }} | ||
