CI

Stabilize GeneralizedTime verification #73

Sign in to view logs

Triggered via push September 7, 2026 22:06

y1ca1

main

Status Success

Total duration 10m 50s

Artifacts –

ci.yml

on: push

Prepare pinned Verus

Generated files and guide

Verify supported packages on macOS

Matrix: verify