Skip to content

Mention named givens in double def explainer #9559

Mention named givens in double def explainer

Mention named givens in double def explainer #9559

Triggered via pull request August 28, 2025 18:14
Status Success
Total duration 1m 43s
Artifacts

spec.yml

on: pull_request
Fit to window
Zoom out
Zoom in