Skip to content
Build

Add CI for standalone StrataPython repo #1

Sign in to view logs

Add CI for standalone StrataPython repo

Add CI for standalone StrataPython repo #1

Triggered via pull request June 9, 2026 06:46
@joehendrixjoehendrix
opened #1
jhx/ci
Status Failure
Total duration 18m 57s
Artifacts –

ci.yml

on: pull_request
Matrix: Build and test Lean
Matrix: Run lint checks
Check pending Python tests
8s
Check pending Python tests
cbmc  /  Run CBMC tests
8s
cbmc / Run CBMC tests
Matrix: Build and test Python
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Build and test Python (3.13)
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: lake-Linux-X64-d883fc5d3ff05e05d127a64e4a0837ac5ef0cc77bf242d687935df8110e4b8ba-f4ff38e06b7173058b927e0bb577ef3304917ced5b39fb1330bf6b94509a5b51--a462b5082a0b93cb0720e95f461488288a8ee6c5
Build and test Python (3.12)
The strategy configuration was canceled because "build_python._3_13" failed
Build and test Python (3.12)
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: lake-Linux-X64-d883fc5d3ff05e05d127a64e4a0837ac5ef0cc77bf242d687935df8110e4b8ba-f4ff38e06b7173058b927e0bb577ef3304917ced5b39fb1330bf6b94509a5b51--a462b5082a0b93cb0720e95f461488288a8ee6c5
Check pending Python tests
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: lake-Linux-X64-d883fc5d3ff05e05d127a64e4a0837ac5ef0cc77bf242d687935df8110e4b8ba-f4ff38e06b7173058b927e0bb577ef3304917ced5b39fb1330bf6b94509a5b51--a462b5082a0b93cb0720e95f461488288a8ee6c5
Build and test Python (3.14)
The strategy configuration was canceled because "build_python._3_13" failed
Build and test Python (3.14)
The operation was canceled.
Build and test Python (3.11)
The strategy configuration was canceled because "build_python._3_13" failed
Build and test Python (3.11)
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: lake-Linux-X64-d883fc5d3ff05e05d127a64e4a0837ac5ef0cc77bf242d687935df8110e4b8ba-f4ff38e06b7173058b927e0bb577ef3304917ced5b39fb1330bf6b94509a5b51--a462b5082a0b93cb0720e95f461488288a8ee6c5
cbmc / Run CBMC tests
Failed to restore cache entry. Exiting as fail-on-cache-miss is set. Input key: lake-Linux-X64-d883fc5d3ff05e05d127a64e4a0837ac5ef0cc77bf242d687935df8110e4b8ba-f4ff38e06b7173058b927e0bb577ef3304917ced5b39fb1330bf6b94509a5b51--a462b5082a0b93cb0720e95f461488288a8ee6c5