Skip to content
SingularCI

Add a script that converts FLINT headers to julia types #1070

Sign in to view logs

Add a script that converts FLINT headers to julia types

Add a script that converts FLINT headers to julia types #1070

Triggered via pull request January 31, 2025 09:42
@lgoettgenslgoettgens
synchronize #2010
lgoettgens:lg/flint-structs
Status Success
Total duration 6m 5s
Artifacts –

singular.yml

on: pull_request
generatematrix
47s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in