Skip to content
Build Iris Lean

feat: keywords guarded, fix, cofix, and iinductive #2909

Sign in to view logs

feat: keywords guarded, fix, cofix, and iinductive

feat: keywords guarded, fix, cofix, and iinductive #2909

Triggered via pull request September 6, 2026 02:59
@oliversoeseroliversoeser
synchronize #651
oliversoeser:rec-keywords
Status Failure
Total duration 5m 18s
Artifacts –

build.yml

on: pull_request
build
2m 40s
build
build-math
5m 14s
build-math
report
report
check-stale
check-stale
deploy
deploy
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build
Process completed with exit code 1.
build
lake build failed
build-math
Process completed with exit code 1.
build-math
lake build failed