Skip to content
LISA CI

Extract definitions/theorems of functions, add Sigma and Pi (#222) #829

Sign in to view logs

Extract definitions/theorems of functions, add Sigma and Pi (#222)

Extract definitions/theorems of functions, add Sigma and Pi (#222) #829

Triggered via push October 8, 2024 12:04
@SimonGuilloudSimonGuilloud
pushed 70cc576
main
Status Success
Total duration 4m 40s
Artifacts –

ci.yml

on: push
build
4m 32s
build
Fit to window
Zoom out
Zoom in