Skip to content
Backport

fix: some goal state issues #4549

Sign in to view logs

fix: some goal state issues

fix: some goal state issues #4549

Triggered via pull request October 11, 2024 16:39
@leanprover-community-botleanprover-community-bot
labeled #5677
Status Skipped
Total duration 2s
Artifacts –

backport.yml

on: pull_request_target
Backport
0s
Backport
Fit to window
Zoom out
Zoom in