Build

fix(laurel): Run LiftInstanceProcedure before EliminateValueInReturns #10603

Sign in to view logs

Triggered via pull request June 18, 2026 13:04

olivier-aws

synchronize #1381

return_instance_methods

Status Failure

Total duration 33m 36s

Artifacts –

ci.yml

on: pull_request

Matrix: Build and test Lean

get-branch-name

Build documentation

Matrix: Run lint checks

Check pending Python tests

cbmc / Run CBMC tests

Matrix: Build and test Python

Annotations

1 error, 1 warning, and 1 notice

Build and test Lean (stable)

Process completed with exit code 1.

Build documentation

Cache save failed.

Build documentation

Summary report available at: https://github.com/strata-org/Strata/actions/runs/27761487326#summary-82136754931