swaitsandClaude Opus 5.5
db00b74e82
check / check (push) Canceled after 0s
`just mutants-store` (64 random cases per mutant, temp books on a RAM disk in CI) runs beside the core's weekly; fuzz_store_replay joins the weekly fuzz matrix. docs/testing.md lists the spec-blind store suite, the refusal property's converse law, and the replay fuzz oracles. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GWVo7x3UHw5kwCUaWxiejX
44 lines
1.1 KiB
YAML
44 lines
1.1 KiB
YAML
# Weekly, and on demand: the slow layers (docs/testing.md).
|
|
name: scheduled
|
|
on:
|
|
schedule:
|
|
- cron: "17 6 * * 1"
|
|
workflow_dispatch:
|
|
jobs:
|
|
prove:
|
|
runs-on: ubuntu-24.04
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- uses: jdx/mise-action@v2
|
|
- run: just prove
|
|
oracle:
|
|
runs-on: ubuntu-24.04
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- uses: jdx/mise-action@v2
|
|
- run: just oracle
|
|
fuzz:
|
|
runs-on: ubuntu-24.04
|
|
strategy:
|
|
fail-fast: false
|
|
matrix:
|
|
target: [fuzz_journal_line, fuzz_entry_validate, fuzz_op_sequence, fuzz_core_serde, fuzz_store_open, fuzz_store_replay]
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- uses: jdx/mise-action@v2
|
|
- run: just fuzz ${{ matrix.target }} 600
|
|
mutants:
|
|
runs-on: ubuntu-24.04
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- uses: jdx/mise-action@v2
|
|
- run: just mutants
|
|
- run: TMPDIR=/dev/shm just mutants-store
|
|
- if: always()
|
|
uses: actions/upload-artifact@v4
|
|
with:
|
|
name: mutants
|
|
path: |
|
|
mutants.out
|
|
mutants-store/mutants.out
|