Skip to content
CI

chore: HoTT.Tests -> HoTT_Tests, HoTT.Contrib -> HoTT_Contrib #3952

Sign in to view logs

chore: HoTT.Tests -> HoTT_Tests, HoTT.Contrib -> HoTT_Contrib

chore: HoTT.Tests -> HoTT_Tests, HoTT.Contrib -> HoTT_Contrib #3952

Annotations

3 errors

build (dev, --warnings)

build (dev, --warnings)
cancelled Jan 11, 2026 in 6s