Skip to content
CI

delete unneeded case; fix pairunionFinset and union_elem_uplus #17

Sign in to view logs

delete unneeded case; fix pairunionFinset and union_elem_uplus

delete unneeded case; fix pairunionFinset and union_elem_uplus #17

Triggered via push October 16, 2023 19:22
@m4lvinm4lvin
pushed cc7d88e
main
Status Success
Total duration 2m 4s
Artifacts –

build.yml

on: push
Build
1m 53s
Build
Stats
8s
Stats
Fit to window
Zoom out
Zoom in