Skip to content

gr: Improve conversions #1024

gr: Improve conversions

gr: Improve conversions #1024

Test flint main

succeeded Jan 28, 2025 in 4m 50s
Set up job
1s
Run actions/checkout@v4
1s
Run actions/setup-python@v5
0s
Run bin/install_flint_ubuntu.sh main
3m 17s
Run pip install --config-settings=setup-args="-Dflint_version_check=false" .
1m 25s
Run python -m flint.test --verbose
1s
Post Run actions/setup-python@v5
0s
Post Run actions/checkout@v4
0s
Complete job
0s