Skip to content

fix(idris): rebuild logSafeBounded proof for Idris2 0.8.0 (SafeAPIKey baseline rot) - #116

Merged
hyperpolymath merged 2 commits into
mainfrom
fix/safeapikey-baseline-rot
May 20, 2026
Merged

fix(idris): rebuild logSafeBounded proof for Idris2 0.8.0 (SafeAPIKey baseline rot)#116
hyperpolymath merged 2 commits into
mainfrom
fix/safeapikey-baseline-rot

Merge branch 'main' into fix/safeapikey-baseline-rot

3416159
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar