continuous integration

Merge branch 'master' into IsSemitopologicalRing #343

Sign in to view logs

Triggered via push March 19, 2026 14:09

j-loreaux

IsSemitopologicalRing

Status Skipped

Total duration 1s

Artifacts –

build.yml

on: push

ci / Lint style

ci / Upload to cache

ci / Post-Build Step

ci / Post-CI job