proof: discharge charEqSym axiom (5→4) + TLA+ model of the Elixir JsW… #7
This file contains hidden or 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
| # SPDX-License-Identifier: MPL-2.0 | |
| # Fallback Cloudflare Workers deploy via Direct Upload (wrangler deploy). | |
| # Bypasses the Cloudflare Git Integration build system entirely. | |
| # Uses wrangler deploy (Workers + Assets) rather than the deprecated | |
| # `wrangler pages deploy` now that wrangler.toml uses [assets] syntax. | |
| # Required secrets: CLOUDFLARE_API_TOKEN, CLOUDFLARE_ACCOUNT_ID | |
| name: Deploy to Cloudflare Workers | |
| on: | |
| push: | |
| branches: [main] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| jobs: | |
| deploy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Deploy site/ to Cloudflare Workers (static assets) | |
| run: npx wrangler@latest deploy | |
| env: | |
| CLOUDFLARE_API_TOKEN: ${{ secrets.CLOUDFLARE_API_TOKEN }} | |
| CLOUDFLARE_ACCOUNT_ID: ${{ secrets.CLOUDFLARE_ACCOUNT_ID }} |