Skip to content
HeckeCI

Replace most remaining supercompact uses by terse #324

Sign in to view logs

Replace most remaining supercompact uses by terse

Replace most remaining supercompact uses by terse #324

Triggered via pull request May 7, 2024 21:34
@fingolfinfingolfin
synchronize #1701
fingolfin:mh/terse-supercompact
Status Success
Total duration 44m 6s
Artifacts –

hecke.yml

on: pull_request
generatematrix
49s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in