Skip to content
Test

prevent double-definitions #2142

Sign in to view logs

prevent double-definitions

prevent double-definitions #2142

Triggered via push January 24, 2025 21:58
@UnsignedByteUnsignedByte
pushed 090ad11
cvc5-fix
Status Success
Total duration 5m 50s
Artifacts –

test.yml

on: push
Get Docker Hash
3s
Get Docker Hash
Build and Push Docker Image
0s
Build and Push Docker Image
Test Compiler
5m 26s
Test Compiler
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Get Docker Hash
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test Compiler
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636