Skip to content
force_push

ci: ignore cbmc prereleases (#4328) #1548

Sign in to view logs

ci: ignore cbmc prereleases (#4328)

ci: ignore cbmc prereleases (#4328) #1548

Triggered via push December 15, 2023 20:33
@lrstewartlrstewart
pushed c0bcde3
main
Status Success
Total duration 21s
Artifacts –

private_sync.yml

on: push
build
11s
build
Fit to window
Zoom out
Zoom in