Skip to content
Lint

Demote brial (= polybori) from standard to optional, add distribution sagemath-brial, enlarge sagemath-objects, sagemath-categories #16096

Sign in to view logs

Demote brial (= polybori) from standard to optional, add distribution sagemath-brial, enlarge sagemath-objects, sagemath-categories

Demote brial (= polybori) from standard to optional, add distribution sagemath-brial, enlarge sagemath-objects, sagemath-categories #16096

Triggered via pull request October 27, 2024 00:51
@mkoeppemkoeppe
synchronize #36380
mkoeppe:brial_experimental
Status Success
Total duration 22m 43s
Artifacts –

lint.yml

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