continuous integration

Merge branch 'generalize-separatelyContinuousMul' into IsSemitopologi… #334

Sign in to view logs

Triggered via push March 13, 2026 20:13

j-loreaux

IsSemitopologicalRing

Status Skipped

Total duration 2s

Artifacts –

build.yml

on: push

ci / Lint style

ci / Upload to cache

ci / Post-Build Step

ci / Post-CI job