CI

Add `GapInt(::ZZRingElem)` #2437

Sign in to view logs

Triggered via pull request November 5, 2025 13:24

lgoettgens

opened #1283

lgoettgens:lg/GapInt-ZZ

Status Success

Total duration 11m 5s

Artifacts –

CI.yml

on: pull_request

Matrix: test

Send Slack notification on status change