Skip to content

[Merged by Bors] - feat: add a version of FTC-2 with an integral over the unit interval #10008

[Merged by Bors] - feat: add a version of FTC-2 with an integral over the unit interval

[Merged by Bors] - feat: add a version of FTC-2 with an integral over the unit interval #10008

Triggered via pull request December 7, 2023 15:30
Status Success
Total duration 1m 12s
Artifacts

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 1s
Lint style
Check all files imported
8s
Check all files imported
Fit to window
Zoom out
Zoom in