docker-ci-for-pr

Add some theorems to finite_setTheory #418

Sign in to view logs

Triggered via pull request October 16, 2024 07:14

xrchz

synchronize #1320

fset

Status Success

Total duration 2h 12m 0s

Artifacts –

docker-ci-for-pr.yml

on: pull_request