Skip to content

Make CI and CBMC workflows depend on Base workflow #935

Make CI and CBMC workflows depend on Base workflow

Make CI and CBMC workflows depend on Base workflow #935

Triggered via pull request February 26, 2025 08:22
Status Success
Total duration 16m 43s
Billable time 1h 5m
Artifacts

ct-tests.yml

on: pull_request
Matrix: check-ct-varlat
Fit to window
Zoom out
Zoom in