Skip to content
Check awaiting-mathlib label

fix: apply specs to goals with a registered WP instance in vcgen #34490

Sign in to view logs

fix: apply specs to goals with a registered WP instance in vcgen

fix: apply specs to goals with a registered WP instance in vcgen #34490

Triggered via pull request August 21, 2026 17:08
@sgraf812sgraf812
synchronize #14883
Status Success
Total duration 7s
Artifacts –

awaiting-mathlib.yml

on: pull_request_target
check-awaiting-mathlib
4s
check-awaiting-mathlib
Fit to window
Zoom out
Zoom in