Skip to content
continuous integration

Update Basic.lean #32337

Sign in to view logs

Update Basic.lean

Update Basic.lean #32337

Triggered via push June 26, 2023 02:56
@Parcly-TaxelParcly-Taxel
pushed 5d7b872
port/SetTheory.Game.Basic
Status Success
Total duration 12m 55s
Artifacts –

build.yml

on: push
Lint style
48s
Lint style
Check all files imported
10s
Check all files imported
Build
12m 30s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
Post-CI job
10s
Post-CI job
Fit to window
Zoom out
Zoom in