Skip to content
Lint Style

turned a theorem into a instance which doesn't seem to help #2

Sign in to view logs

turned a theorem into a instance which doesn't seem to help

turned a theorem into a instance which doesn't seem to help #2

Triggered via push November 11, 2024 08:00
@dagurtomasdagurtomas
pushed 8948a6e
main
Status Success
Total duration 13s
Artifacts –

lint.yml

on: push
style_lint
3s
style_lint
Fit to window
Zoom out
Zoom in