CI

resolve sorry in TP lemmas, avoid FL for now #673

Sign in to view logs

Triggered via push October 8, 2024 19:26

m4lvin

main

Status Success

Total duration 4m 37s

Artifacts –

build.yml

on: push