vatomic tests and verification

cmake: Fix and test installation #87

Sign in to view logs

Triggered via push March 18, 2025 08:42

db7

cmake-changes

Status Cancelled

Total duration 18m 9s

Artifacts –

actions.yml

on: push

Matrix: prepare-docker

Matrix: check-cmake-format

Matrix: check-expectations

Matrix: test-install

Matrix: test-native

Matrix: boogie-verification

Matrix: test-qemu-arm32

Matrix: test-qemu-arm64

Matrix: test-qemu-other

Annotations

3 errors

boogie-verification (lxe)

The operation was canceled.

boogie-verification (lxe)

The run was canceled by @db7.

vatomic tests and verification

The run was canceled by @db7.