Skip to content

Merge pull request #451 from moka-rs/fix-ci/2024-08-18/v012 #538

Merge pull request #451 from moka-rs/fix-ci/2024-08-18/v012

Merge pull request #451 from moka-rs/fix-ci/2024-08-18/v012 #538

Triggered via push August 18, 2024 02:32
Status Success
Total duration 17s
Artifacts

Kani.yml

on: push
Fit to window
Zoom out
Zoom in