Skip to content

Bump ncipollo/release-action from 1.12.0 to 1.13.0 #5885

Bump ncipollo/release-action from 1.12.0 to 1.13.0

Bump ncipollo/release-action from 1.12.0 to 1.13.0 #5885

Triggered via pull request December 9, 2023 13:04
Status Success
Total duration 29m 42s
Artifacts

kani.yml

on: pull_request
Matrix: regression
Fit to window
Zoom out
Zoom in