chore: update reference to eso→pre-faithful in Hott.lagda.md #3202

Triggered via push November 25, 2024 12:36

plt-amy

adjoint-facts

Status Success

Total duration 24m 58s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	14.1 MB