Skip to content
Lint

Merge remote-tracking branch 'sagemath/develop' into develop #131

Sign in to view logs

Merge remote-tracking branch 'sagemath/develop' into develop

Merge remote-tracking branch 'sagemath/develop' into develop #131

Triggered via push September 27, 2024 07:51
@gmou3gmou3
pushed 2439724
develop
Status Success
Total duration 4m 29s
Artifacts –

lint.yml

on: push
Lint
4m 16s
Lint
Fit to window
Zoom out
Zoom in