Skip to content

fix GAP field-element encoding over extension fields + other minor fixes #2122

fix GAP field-element encoding over extension fields + other minor fixes

fix GAP field-element encoding over extension fields + other minor fixes #2122

Triggered via pull request August 27, 2026 01:24
Status Success
Total duration 2m 1s
Artifacts

continuous-integration.yaml

on: pull_request
Installation check
14s
Installation check
Lint and type check
29s
Lint and type check
Pytest and coverage check
1m 42s
Pytest and coverage check
Fit to window
Zoom out
Zoom in