Skip to content
CI

mark few more lemmas with ftrans_simp #428

Sign in to view logs

mark few more lemmas with ftrans_simp

mark few more lemmas with ftrans_simp #428

Triggered via push November 28, 2023 19:24
@lecopivolecopivo
pushed ff16552
master
Status Success
Total duration 24m 28s
Artifacts –

main.yml

on: push
build
18m 22s
build
deploy
5m 43s
deploy
Fit to window
Zoom out
Zoom in