Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
44 changes: 44 additions & 0 deletions .github/workflows/deploy-website.yml
Original file line number Diff line number Diff line change
@@ -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:
Comment thread
ThePlenkov marked this conversation as resolved.

permissions:
contents: read

Comment thread
ThePlenkov marked this conversation as resolved.
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"
Comment thread
coderabbitai[bot] marked this conversation as resolved.
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
3 changes: 3 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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)

</div>
Expand Down
3 changes: 3 additions & 0 deletions website/src/layouts/Base.astro
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,9 @@ const {
<meta name="twitter:description" content={description} />
</head>
<body>
<div class="pre-alpha-banner" role="status">
<span aria-hidden="true">⚠️</span> Pre-alpha — Work in progress. APIs may change without notice. Not ready for production use.
</div>
<slot />
<footer>
<p>
Expand Down
10 changes: 10 additions & 0 deletions website/src/styles/global.css
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,16 @@ body {
flex-direction: column;
}

.pre-alpha-banner {
background: #2a1a0a;
border-bottom: 1px solid #4a3a1a;
color: #e8a040;
text-align: center;
padding: 0.5rem 1rem;
font-size: 0.85rem;
font-weight: 500;
}

main {
flex: 1;
max-width: var(--max-width);
Expand Down
Loading