Build Iris Lean

feat: add total weakest preconditions #2127

Sign in to view logs

This workflow is awaiting approval from a maintainer in #554

Triggered via pull request July 30, 2026 13:38

mfornet

reopened #554

mfornet:master

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #554

build.yml

on: pull_request