Skip to content
Lint

GAP 4.13.1 #15963

Sign in to view logs

GAP 4.13.1

GAP 4.13.1 #15963

Triggered via pull request October 18, 2024 01:22
@orlitzkyorlitzky
synchronize #38804
orlitzky:gap-4.13.1
Status Success
Total duration 4m 19s
Artifacts –

lint.yml

on: pull_request
Lint
4m 9s
Lint
Fit to window
Zoom out
Zoom in