Skip to content
Release-plz

feat: CTL Model Checking (#114) #61

Sign in to view logs

feat: CTL Model Checking (#114)

feat: CTL Model Checking (#114) #61

Triggered via push December 2, 2025 18:37
@toolCHAINZtoolCHAINZ
pushed b110679
main
Status Success
Total duration 1m 17s
Artifacts –

release-plz.yml

on: push
Release-plz release
1m 13s
Release-plz release
Release-plz PR
50s
Release-plz PR
Fit to window
Zoom out
Zoom in