Skip to content
Format and Verify VOSTD (Main)

fix: Decouple arch-specific constants from PagingConstsTrait trait definitions, fix specifications, and prove axioms. #1282

Sign in to view logs

fix: Decouple arch-specific constants from PagingConstsTrait trait definitions, fix specifications, and prove axioms.

fix: Decouple arch-specific constants from PagingConstsTrait trait definitions, fix specifications, and prove axioms. #1282

Triggered via pull request June 20, 2026 03:16
@Marsman1996Marsman1996
synchronize #532
rikosellic:paging-const
Status Success
Total duration 5m 18s
Artifacts –

ci.yml

on: pull_request
format-and-verify
5m 15s
format-and-verify
Fit to window
Zoom out
Zoom in