Skip to content
Check awaiting-mathlib label

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

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 #34511

Triggered via pull request August 22, 2026 08:42
@sgraf812sgraf812
labeled #14883
Status Success
Total duration 5s
Artifacts –

awaiting-mathlib.yml

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