Skip to content

refactor: Multigoal proof #1910

refactor: Multigoal proof

refactor: Multigoal proof #1910

Triggered via pull request February 26, 2025 16:19
Status Success
Total duration 19m 16s
Artifacts

build.yml

on: pull_request
doc lint
19m 5s
doc lint
Python based style linter
15s
Python based style linter
Fit to window
Zoom out
Zoom in