Skip to content
Build and test the Docker container for CBMC-GC

Add GH Actions to build the Docker containers #3

Sign in to view logs

Add GH Actions to build the Docker containers

Add GH Actions to build the Docker containers #3

Triggered via pull request January 29, 2024 10:13
@gutjurigutjuri
synchronize #84
add-gh-actions
Status Cancelled
Total duration 19m 38s
Artifacts –

test-cbmc-gc.yml

on: pull_request
Build container for cbmc-gc
19m 26s
Build container for cbmc-gc
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build container for cbmc-gc
The hosted runner encountered an error while running your job. (Error Type: Disconnect).