Skip to content

Ci fixes#81

Merged
emilio merged 4 commits into
mainfrom
ci-fixes
Apr 14, 2026
Merged

Ci fixes#81
emilio merged 4 commits into
mainfrom
ci-fixes

ci: Ignore msrv job for now since it just hangs trying to pull deps.

77ecdf4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Miri
succeeded Apr 14, 2026 in 1m 19s