Skip to content

chore(ci): fix daily CI #14

chore(ci): fix daily CI

chore(ci): fix daily CI #14

Re-run triggered February 10, 2026 19:55
Status Failure
Total duration 39m 57s
Artifacts 1

pull.yml

on: pull_request
Matrix: codebuild / build_test_dynamic
Matrix: codebuild / compliance
Matrix: osx / OSX
clang-format  /  build
13s
clang-format / build
proof-ci  /  run_cbmc_proofs
41m 15s
proof-ci / run_cbmc_proofs
Matrix: codebuild / build_test_static_debug
Matrix: codebuild / build_test_static_valgrind
pr-ci-all-required
4s
pr-ci-all-required
Fit to window
Zoom out
Zoom in

Deployment protection rules

Reviewers, timers, and other rules protecting deployments in this run
Event Environments Comment
rishav-karanjit
approved Feb 10, 2026
continuous-integration

Annotations

2 errors and 1 warning
osx / OSX (macos-latest-large, openssl@1.1)
Process completed with exit code 2.
pr-ci-all-required
Process completed with exit code 1.
osx / OSX (macos-latest-large, openssl@1.1)
openssl@1.1 1.1.1w is already installed and up-to-date. To reinstall 1.1.1w, run: brew reinstall openssl@1.1