Skip to content
Lean Action CI

feat(matrix): preserve principal spectra under block conjugation #3518

Sign in to view logs

feat(matrix): preserve principal spectra under block conjugation

feat(matrix): preserve principal spectra under block conjugation #3518

Triggered via push August 24, 2026 12:21
@PerAlexanderssonPerAlexandersson
pushed d7cddc2
proof/issue-421-oscillatory-missing-theory
Status Cancelled
Total duration 5s
Artifacts –

lean_action_ci.yml

on: push
build
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Lean Action CI
Canceling since a higher priority waiting request for pages exists