File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1616 DEFAULT_LLVM_VERSION : 20
1717 DEFAULT_GCC_VERSION : 14
1818 MULL_LLVM_VERSION : 18
19- MULL_VERSION : 0.24.0
19+ MULL_VERSION : 0.26.1
2020 HYPOTHESIS_PROFILE : default
2121
2222concurrency :
@@ -473,8 +473,8 @@ jobs:
473473
474474 - name : Install mull
475475 run : |
476- wget https://github.com/mull-project/mull/releases/download/${{env.MULL_VERSION}}/Mull-${{env.MULL_LLVM_VERSION}}-${{env.MULL_VERSION}}-LLVM-${{env.MULL_LLVM_VERSION}}.1-ubuntu-24.04.deb
477- sudo dpkg -i Mull-${{env.MULL_LLVM_VERSION}}-${{env.MULL_VERSION}}-LLVM-${{env.MULL_LLVM_VERSION}}.1-ubuntu-24.04.deb
476+ wget https://github.com/mull-project/mull/releases/download/${{env.MULL_VERSION}}/Mull-${{env.MULL_LLVM_VERSION}}-${{env.MULL_VERSION}}-LLVM-${{env.MULL_LLVM_VERSION}}.1-ubuntu-x86_64- 24.04.deb
477+ sudo dpkg -i Mull-${{env.MULL_LLVM_VERSION}}-${{env.MULL_VERSION}}-LLVM-${{env.MULL_LLVM_VERSION}}.1-ubuntu-x86_64- 24.04.deb
478478
479479 - name : Restore CPM cache
480480 env :
You can’t perform that action at this time.
0 commit comments