Release

Merge pull request #544 from rust-osdev/fix/kani #152

Sign in to view logs

Triggered via push April 26, 2025 11:57

phil-opp

master

Status Success

Total duration 9s

Artifacts –

release.yml

on: push