Skip to content
Lint

gh-39435: bump GAP to 4.14.0 #233

Sign in to view logs

gh-39435: bump GAP to 4.14.0

gh-39435: bump GAP to 4.14.0 #233

Triggered via push February 3, 2025 03:51
@vbraunvbraun
pushed 68839e0
develop
Status Success
Total duration 5m 31s
Artifacts –

lint.yml

on: push
Lint
5m 23s
Lint
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Lint
The process '/usr/bin/git' failed with exit code 128