Skip to content

chore(CI): clean up gha and unused files (#825) #1

chore(CI): clean up gha and unused files (#825)

chore(CI): clean up gha and unused files (#825) #1

Triggered via push July 3, 2025 19:34
Status Failure
Total duration 30d 0h 0m 1s
Artifacts

push.yml

on: push
Matrix: codebuild / build_test_dynamic
clang-format  /  build
9s
clang-format / build
proof-ci  /  run_cbmc_proofs
35s
proof-ci / run_cbmc_proofs
Matrix: codebuild / compliance
Matrix: osx / OSX
Matrix: codebuild / build_test_static_debug
Matrix: codebuild / build_test_static_valgrind
Fit to window
Zoom out
Zoom in

Annotations

4 errors
proof-ci / run_cbmc_proofs
Process completed with exit code 1.
osx / OSX (macos-latest-large, [email protected])
The deployment was rejected or didn't satisfy other protection rules.
osx / OSX (macos-13, [email protected])
The deployment was rejected or didn't satisfy other protection rules.
osx / OSX (ubuntu-22.04, [email protected])
The deployment was rejected or didn't satisfy other protection rules.