Skip to content

refactor: Multigoal proof #1907

refactor: Multigoal proof

refactor: Multigoal proof #1907

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

build.yml

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