Skip to content
Unit tests

emphasize important properties in theorem list (need to tweak color) #676

Sign in to view logs

emphasize important properties in theorem list (need to tweak color)

emphasize important properties in theorem list (need to tweak color) #676

Triggered via push March 9, 2026 22:01
@StevenClontzStevenClontz
pushed 0b88e9a
StevenClontz/20260309/redundant-related
Status Success
Total duration 1m 10s
Artifacts –

test.yaml

on: push
test
1m 5s
test
Fit to window
Zoom out
Zoom in