Skip to content
chapel-ci

proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX registry #82

Sign in to view logs

proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX registry

proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX registry #82

Triggered via pull request June 4, 2026 18:08
@hyperpolymathhyperpolymath
opened #125
claude/upbeat-thompson-hb26c
Status Success
Total duration 14s
Artifacts –

chapel-ci.yml

on: pull_request
detect-relevant-changes
3s
detect-relevant-changes
chapel-parse-check
0s
chapel-parse-check
chapel-cli-contract
0s
chapel-cli-contract
chapel-multilocale
0s
chapel-multilocale
chapel-build
0s
chapel-build
chapel-smoke
0s
chapel-smoke
chapel-e2e
0s
chapel-e2e
chapel-rust-diff
0s
chapel-rust-diff
chapel-ci-gate
3s
chapel-ci-gate
Fit to window
Zoom out
Zoom in