wehub-resource-sync
36 lines
1.2 KiB
YAML
36 lines
1.2 KiB
YAML
name: Nightly Property Discovery
|
|
on:
|
|
schedule:
|
|
- cron: "0 6 * * *"
|
|
workflow_dispatch:
|
|
permissions:
|
|
contents: read
|
|
issues: write
|
|
jobs:
|
|
property-random-seed:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v7
|
|
with:
|
|
persist-credentials: false
|
|
- uses: actions/setup-node@v6
|
|
with:
|
|
node-version: "24"
|
|
cache: npm
|
|
- run: npm ci
|
|
- name: fast-check random seed (high runs)
|
|
id: prop
|
|
run: FC_SEED=random FC_NUM_RUNS=2000 npm run test:property
|
|
- name: Open issue on failure
|
|
if: failure()
|
|
uses: actions/github-script@v9
|
|
with:
|
|
script: |
|
|
await github.rest.issues.create({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
title: "Nightly property-test failure (Fase 8 B)",
|
|
body: "fast-check found a counterexample with a random seed. Check the run logs for the reproducible seed + minimal case, then add it as a fixture.\n\nRun: " + context.serverUrl + "/" + context.repo.owner + "/" + context.repo.repo + "/actions/runs/" + context.runId,
|
|
labels: ["quality-gate-finding"],
|
|
});
|