Skip to content
continuous integration (staging)

chore(Data/Quot): [s : Setoid α] => {s : Setoid α} (#16256) #10916

Sign in to view logs

chore(Data/Quot): [s : Setoid α] => {s : Setoid α} (#16256)

chore(Data/Quot): [s : Setoid α] => {s : Setoid α} (#16256) #10916

Build

Build
succeeded Oct 9, 2024 in 1h 2m 29s