docker-ci

hilbert axioms and geometry theorems #711

Sign in to view logs

Triggered via push January 28, 2025 23:44

mn200

develop

Status Success

Total duration 2h 0m 59s

Artifacts –

docker-ci.yml

on: push