Skip to content

Merge branch 'main' into feat/higher-arity-fri #84

Merge branch 'main' into feat/higher-arity-fri

Merge branch 'main' into feat/higher-arity-fri #84

Triggered via push April 14, 2026 15:22
Status Success
Total duration 11s
Artifacts

pr_spec.yaml

on: push
Spec structure test
6s
Spec structure test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Spec structure test
The `python-version` input is not set. The version of Python currently in `PATH` will be used.