Skip to content
Lint

src/sage: revert "touch libgap consumers" #16164

Sign in to view logs

src/sage: revert "touch libgap consumers"

src/sage: revert "touch libgap consumers" #16164

Triggered via pull request October 29, 2024 10:45
@orlitzkyorlitzky
opened #38882
orlitzky:revert-gap-hack
Status Success
Total duration 4m 30s
Artifacts –

lint.yml

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