Build Iris Lean

feat: Implementing Mutual Fixpoints #438

Sign in to view logs

Re-run triggered December 21, 2025 20:31

markusdemedeiros

#104

GenericMonkey:mutual_fixpoint

Status Success

Total duration 1m 11s

Artifacts –

build.yml

on: pull_request