Skip to content

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
Merged

fix(agda): restore main typecheck — carry the fiber invariant in FiberBundle#328
hyperpolymath merged 2 commits into
mainfrom
arena/01a0e508-echo-types

fix(ci): reconcile actions.lock — regenerate for codeql-action 4.38.1

6044971
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar