james-d-mitchell / gaplint

A linter for GAP (https://www.gap-system.org/)
GNU General Public License v3.0
7 stars 4 forks source link

Add python 3.12 to the ci #27

Closed james-d-mitchell closed 10 months ago