diff --git a/.github/workflows/deploy-website.yml b/.github/workflows/deploy-website.yml new file mode 100644 index 000000000..ea43d27e6 --- /dev/null +++ b/.github/workflows/deploy-website.yml @@ -0,0 +1,44 @@ +name: Deploy website + +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + +on: + push: + branches: [main] + paths: + - "website/**" + - ".github/workflows/deploy-website.yml" + workflow_dispatch: + +permissions: + contents: read + +jobs: + deploy: + runs-on: ubuntu-24.04 + name: Deploy to Cloudflare Pages + steps: + - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4.4.0 + with: + persist-credentials: false + + - uses: oven-sh/setup-bun@0c5077e51419868618aeaa5fe8019c62421857d6 # v2.2.0 + with: + bun-version: "1.3.14" + no-cache: true + + - name: Install website dependencies + run: bun --cwd=${{ github.workspace }}/website install --frozen-lockfile + + - name: Build website + run: bun --cwd=${{ github.workspace }}/website run build + + - name: Deploy to Cloudflare Pages + uses: cloudflare/wrangler-action@ebbaa1584979971c8614a24965b4405ff95890e0 # v4.0.0 + with: + apiToken: ${{ secrets.CLOUDFLARE_API_TOKEN }} + accountId: ${{ secrets.CLOUDFLARE_ACCOUNT_ID }} + wranglerVersion: "4.121.0" + command: pages deploy website/dist --project-name=sverka diff --git a/README.md b/README.md index ea14631a6..cd92a8d83 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,9 @@ A composable workflow SDK, local CI runtime, and multi-target compiler for software verification. +> **⚠️ Pre-alpha — Work in progress.** Sverka is under active development. +> APIs may change without notice. Not ready for production use. + [Website](https://sverka.dev) · [Documentation](https://sverka.dev/docs) · [CLI Reference](https://sverka.dev/docs/cli) diff --git a/website/src/layouts/Base.astro b/website/src/layouts/Base.astro index b1e58d9a7..c0958afa7 100644 --- a/website/src/layouts/Base.astro +++ b/website/src/layouts/Base.astro @@ -35,6 +35,9 @@ const { +
+ Pre-alpha — Work in progress. APIs may change without notice. Not ready for production use. +