swaits
cfd5207fb6
Two CI fixes; the previous `enablement: true` attempt didn't work because the default GITHUB_TOKEN can write to Pages but can't enable it on a repo that doesn't yet have it configured. 1. .github/workflows/docs.yml: drop the Pages deploy job entirely. Build mdbook on every push and upload it as a CI artifact. When Pages is enabled manually (Settings → Pages → 'Build and deployment: GitHub Actions'), this file can grow back a deploy job using actions/configure-pages + actions/deploy-pages. 2. fuzz/fuzz_targets/clamp_to_bounds.rs: the simplex projection's τ computation operates on values up to `simplex_total · 1e6` per the input filter, so its FP precision floor is ~1e-4 of the input scale. Outputs near the `max(x_i − τ, 0)` clamp boundary can flip between 0 and a small positive value across re-applications without that being a correctness bug. The fuzz target is meant to catch *gross* non-idempotence (the all-zeros bug that the v0.4 cleanup fixed), not ULP-level slop. Loosen the per-element tolerance to `1e-4 · max(simplex_total, max|x_i|, 1)`. Verified clean over a 10 M-run soak.
42 lines
1.1 KiB
YAML
42 lines
1.1 KiB
YAML
name: Docs
|
|
|
|
on:
|
|
push:
|
|
branches: [main]
|
|
tags: ["v*.*.*"]
|
|
pull_request:
|
|
branches: [main]
|
|
workflow_dispatch:
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
jobs:
|
|
build:
|
|
name: Build mdbook
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- name: Install mdbook
|
|
run: |
|
|
mkdir -p ~/.local/bin
|
|
curl -sSL "https://github.com/rust-lang/mdBook/releases/download/v0.4.40/mdbook-v0.4.40-x86_64-unknown-linux-musl.tar.gz" \
|
|
| tar -xz -C ~/.local/bin
|
|
echo "$HOME/.local/bin" >> "$GITHUB_PATH"
|
|
- name: Build
|
|
run: |
|
|
cd docs/book
|
|
mdbook build
|
|
- name: Upload book as artifact
|
|
uses: actions/upload-artifact@v4
|
|
with:
|
|
name: book
|
|
path: target/book
|
|
if-no-files-found: error
|
|
retention-days: 14
|
|
|
|
# GitHub Pages deployment is intentionally not in this workflow.
|
|
# Once Pages is enabled on the repo (Settings → Pages → Build and
|
|
# deployment: GitHub Actions), this file can grow a `deploy` job
|
|
# using actions/configure-pages + actions/deploy-pages.
|