Skip to content
CI

generalise Uplus notation for Lists² and Finsets² #8

Sign in to view logs

generalise Uplus notation for Lists² and Finsets²

generalise Uplus notation for Lists² and Finsets² #8

Triggered via push October 8, 2023 13:27
@m4lvinm4lvin
pushed 5f8d1bb
main
Status Success
Total duration 1m 50s
Artifacts –

build.yml

on: push
Build
1m 42s
Build
Stats
11s
Stats
Fit to window
Zoom out
Zoom in