Skip to content

CI: Remove actions-rs GH Actions from the CI where possible (v0.12.x) #419

CI: Remove actions-rs GH Actions from the CI where possible (v0.12.x)

CI: Remove actions-rs GH Actions from the CI where possible (v0.12.x) #419

Triggered via pull request February 4, 2024 05:15
Status Success
Total duration 57s
Artifacts

Kani.yml

on: pull_request
Fit to window
Zoom out
Zoom in