Skip to content

build(deps): bump actions/checkout from 3 to 4 in /.github/workflows … #1910

build(deps): bump actions/checkout from 3 to 4 in /.github/workflows …

build(deps): bump actions/checkout from 3 to 4 in /.github/workflows … #1910

build

succeeded Nov 20, 2024 in 10s
Set up job
1s
Run actions/checkout@v4
5s
Push cbmc
1s
Push fuzz
1s
Post Run actions/checkout@v4
0s
Complete job
0s