Skip to content
Generate homepage

Merge pull request #101 from chrisdone/cd/2025-06-24-generalizing-forall #100

Sign in to view logs

Merge pull request #101 from chrisdone/cd/2025-06-24-generalizing-forall

Merge pull request #101 from chrisdone/cd/2025-06-24-generalizing-forall #100

Triggered via push October 3, 2025 14:16
@chrisdone-artificialchrisdone-artificial
pushed 654284c
main
Status Success
Total duration 18s
Artifacts –

docs.yaml

on: push
build
13s
build
Fit to window
Zoom out
Zoom in