Skip to content

Merge pull request #29 from moka-rs/fix-ci-2024-06-09 #25

Merge pull request #29 from moka-rs/fix-ci-2024-06-09

Merge pull request #29 from moka-rs/fix-ci-2024-06-09 #25

Triggered via push June 9, 2024 11:04
Status Success
Total duration 53s
Artifacts

Kani.yml

on: push
Fit to window
Zoom out
Zoom in