Skip to content

fix(proofs): give Agda a writable data directory; run each lane alone (WO 1.4) - #64

Merged
hyperpolymath merged 1 commit into
mainfrom
marina/eager-dijkstra-wlmapg
Nov 10, 2026
Merged

fix(proofs): give Agda a writable data directory; run each lane alone (WO 1.4)#64
hyperpolymath merged 1 commit into
mainfrom
marina/eager-dijkstra-wlmapg

fix(proofs): give Agda a writable data directory; run each lane alone…

872af62
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar