diff options
| author | eunhhu <[email protected]> | 2026-09-24 17:33:55 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-24 17:33:55 +0100 |
| commit | 4525124c01cc4c4ee335b0a430354a235a6539e0 (patch) | |
| tree | 094372b8d78e05dca5d462aace4affd93450ff21 /.github/workflows/native-macos-arm64.yml | |
| parent | b1ce1927022d374198441afafeb27199fc8a052a (diff) | |
| download | pure-4525124c01cc4c4ee335b0a430354a235a6539e0.tar.gz pure-4525124c01cc4c4ee335b0a430354a235a6539e0.zip | |
Admit aligned OS pages in selected paged store
Diffstat (limited to '.github/workflows/native-macos-arm64.yml')
| -rw-r--r-- | .github/workflows/native-macos-arm64.yml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/.github/workflows/native-macos-arm64.yml b/.github/workflows/native-macos-arm64.yml index 7d46d6a..c3614be 100644 --- a/.github/workflows/native-macos-arm64.yml +++ b/.github/workflows/native-macos-arm64.yml @@ -20,7 +20,8 @@ jobs: run: | make -C prototypes/connections BUILD=build/mac-default all test -f prototypes/connections/build/mac-default/libpure-execution.a - test -x prototypes/connections/build/mac-default/pure-edit + test -x prototypes/connections/build/mac-default/pure-edit-fixed + test ! -e prototypes/connections/build/mac-default/pure-edit test ! -e prototypes/connections/build/mac-default/pure-connections test ! -e prototypes/connections/build/mac-default/pure-document-peer test ! -e prototypes/connections/build/mac-default/pure-edit-window @@ -37,6 +38,10 @@ jobs: run: | make -C prototypes/connections BUILD=build/mac-native check-policy \ POLICY_EVIDENCE="$RUNNER_TEMP/policy.json" + - name: Exercise selected logical-page storage + run: | + getconf PAGESIZE + make -C prototypes/connections check-paged-portable - name: Show whole-process results if: always() run: | |