Skip to content

Replace deprecated proc-macro-error2 with proc-macro2-diagnostics#4613

Merged
tautschnig merged 3 commits into
model-checking:mainfrom
tautschnig:no-proc-macro-error2
Jul 1, 2026
Merged

Replace deprecated proc-macro-error2 with proc-macro2-diagnostics#4613
tautschnig merged 3 commits into
model-checking:mainfrom
tautschnig:no-proc-macro-error2

Update `anyhow` per cargo-deny

1aadba8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Jul 1, 2026 in 5s