Skip to content
Format and Verify VOSTD (Main)

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

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. #1287

Triggered via pull request June 20, 2026 10:22
@Marsman1996Marsman1996
synchronize #532
rikosellic:paging-const
Status Success
Total duration 6m 1s
Artifacts –

ci.yml

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