fix(agda): restore main typecheck — carry the fiber invariant in FiberBundle - #328

Merged

hyperpolymath merged 2 commits into

mainfrom

arena/01a0e508-echo-types

Sep 27, 2026

Commits on Sep 27, 2026

fix(agda): restore main typecheck — carry the fiber invariant in FiberBundle

arena-agent
and
arena-agent
committed
14f194c
fix(ci): reconcile actions.lock — regenerate for codeql-action 4.38.1

arena-agent
and
arena-agent
committed
6044971