Skip to content
CI Checks

feat(verify): Enhance soundness of heap model with quantifiers and pointer arithmetic #38

Sign in to view logs

feat(verify): Enhance soundness of heap model with quantifiers and pointer arithmetic

feat(verify): Enhance soundness of heap model with quantifiers and pointer arithmetic #38

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and Test Windows
0s
Build and Test Linux${{ (((startsWith(matrix.runs-on, 'depot-ubuntu-24.04-arm') && ' AArch64')) || '') }}
-7s
MacOS Premerge Checks
-9s
-16s