Skip to content

cmm: Fix handling of top-level arrays of tables #165

cmm: Fix handling of top-level arrays of tables

cmm: Fix handling of top-level arrays of tables #165

Triggered via pull request January 5, 2024 23:48
Status Success
Total duration 11m 36s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

push.yaml

on: pull_request
Matrix: Run sel4test
Check dependencies
2m 54s
Check dependencies
Check Kani proofs
3m 5s
Check Kani proofs
Build everything
6m 45s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in