Skip to content

[main]: yay Fintype.decidableExistsFintype; nay List.instDecidableMemOfLawfulBEq #57

Sign in to view logs

[main]: yay Fintype.decidableExistsFintype; nay List.instDecidableMemOfLawfulBEq

[main]: yay Fintype.decidableExistsFintype; nay List.instDecidableMemOfLawfulBEq #57

Triggered via dynamic October 28, 2024 06:00
@github-codespacesgithub-codespaces[bot]
⁠ 24ab45d
Status Success
Total duration 17m 32s
Artifacts –

create_codespaces_prebuilds

on: dynamic
prebuild
17m 15s
prebuild
Fit to window
Zoom out
Zoom in