Skip to content
Lint

Implementation of the general Burau representation for Artin groups #18192

Sign in to view logs

Implementation of the general Burau representation for Artin groups

Implementation of the general Burau representation for Artin groups #18192

Triggered via pull request January 31, 2025 05:09
@tscrimtscrim
synchronize #39415
tscrim:groups/buaru_repr
Status Success
Total duration 3m 48s
Artifacts –

lint.yml

on: pull_request
Lint
3m 22s
Lint
Fit to window
Zoom out
Zoom in

Annotations

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