Skip to content
pull-requests

fix(group): after a sequence of updates a proof is invalid #930

Sign in to view logs

fix(group): after a sequence of updates a proof is invalid

fix(group): after a sequence of updates a proof is invalid #930

Re-run triggered December 5, 2024 06:56
@cedoorcedoor
#910
Lauman:update/lean-imt
Status Success
Total duration 3m 13s
Artifacts –

pull-requests.yml

on: pull_request
style
2m 6s
style
test
3m 1s
test
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
style
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
style
Explicitly mark visibility of state
style
Explicitly mark visibility of state
style
Explicitly mark visibility of state
style
Explicitly mark visibility of state
style
Explicitly mark visibility of state
style
Explicitly mark visibility of state
style
Explicitly mark visibility of state
style
Explicitly mark visibility of state
style
Explicitly mark visibility of state
style
Explicitly mark visibility of state
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636