File tree Expand file tree Collapse file tree 1 file changed +15
-1
lines changed Expand file tree Collapse file tree 1 file changed +15
-1
lines changed Original file line number Diff line number Diff line change @@ -174,7 +174,21 @@ jobs:
174174 # Test against flint main
175175 test_flint_main :
176176 name : Test flint main
177- runs-on : ubuntu-22.04
177+ runs-on : ubuntu-24.04
178+ steps :
179+ - uses : actions/checkout@v4
180+ - uses : actions/setup-python@v5
181+ with :
182+ python-version : ' 3.13'
183+ - run : bin/install_flint_ubuntu.sh main
184+ # Need to disable flint version check to build against main
185+ - run : pip install --config-settings=setup-args="-Dflint_version_check=false" .
186+ - run : python -m flint.test --verbose
187+
188+ # Test against flint main
189+ test_flint_main_arm :
190+ name : Test flint main
191+ runs-on : ubuntu-24.04-arm
178192 steps :
179193 - uses : actions/checkout@v4
180194 - uses : actions/setup-python@v5
You can’t perform that action at this time.
0 commit comments