search

sagemath / sage-archive-2023-02-01

This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github.com/sagemath/sage, we have renamed and archived this repository.
https://www.sagemath.org
Other
2.01k stars 413 forks source link

Create lint workflow #95

Closed tobiasdiez closed 4 years ago

tobiasdiez commented 4 years ago

Corresponding trac ticket: https://trac.sagemath.org/ticket/30404

Fixes https://github.com/sagemath/sage-patchbot/issues/144 and https://github.com/sagemath/sage-patchbot/issues/143.

saraedum commented 4 years ago

@tobiasdiez feel free to play here of course. But note that we're already using GitLab CI to build docker images so you might have a look at hooking into that as an alternative: https://gitlab.com/sagemath/sage/-/pipelines

tobiasdiez commented 4 years ago

Thanks @saraedum for the pointer. I wasn't aware of the gitlab mirror. Pretty confusing infrastructure ;-)

I've created https://trac.sagemath.org/ticket/30404 to discuss how to best integrate the new linter workflow with trac.