gap-system / gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
https://www.gap-system.org
GNU General Public License v2.0
814 stars 161 forks source link

CI: update codecov/codecov-action from 3 to 4 #5812

Closed fingolfin closed 1 month ago