Skip to content
Ubuntu build

fix outdated comments in FreeCommAlgebra #2062

Sign in to view logs

fix outdated comments in FreeCommAlgebra

fix outdated comments in FreeCommAlgebra #2062

Triggered via pull request August 24, 2023 15:51
@MatthiasHuMatthiasHu
opened #1032
MatthiasHu:update-comments-in-FreeCommAlgebra
Status Success
Total duration 4m 14s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
4m 3s
test-cubical
Fit to window
Zoom out
Zoom in