Skip to content
Test Python tools

[typeset] New package, version 1.2.0 #271

Sign in to view logs

[typeset] New package, version 1.2.0

[typeset] New package, version 1.2.0 #271

Triggered via pull request January 21, 2024 23:25
@fingolfinfingolfin
synchronize #809
automatic/typeset
Status Success
Total duration 25s
Artifacts –

tools-tests.yml

on: pull_request
Run tests
16s
Run tests
Fit to window
Zoom out
Zoom in