lint and suggest

feat(SetTheory/Game/PGame): dicotic pregames #69489

Sign in to view logs

Triggered via pull request November 24, 2024 09:31

LeoDog896

opened #19433

tristanfr.nimnimnim

Status Success

Total duration 1m 17s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported