docker-ci

hilbert axioms and geometry theorems #714

Sign in to view logs

Triggered via push January 29, 2025 03:11

mn200

master

Status Success

Total duration 1h 58m 17s

Artifacts –

docker-ci.yml

on: push