Skip to content
build

Faithfully print with-kinds by reconstructing modalities for types (#… #15321

Sign in to view logs

Faithfully print with-kinds by reconstructing modalities for types (#…

Faithfully print with-kinds by reconstructing modalities for types (#… #15321

Triggered via push February 10, 2025 22:36
@glittersharkglittershark
pushed bddb835
main
Status Success
Total duration 34m 38s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in