Skip to content

Add preserves-definedness attributes #2620

Add preserves-definedness attributes

Add preserves-definedness attributes #2620

Triggered via pull request January 29, 2025 15:56
Status Cancelled
Total duration 24s
Artifacts

test-pr.yml

on: pull_request
Code Quality Checks
10s
Code Quality Checks
Version Bump
8s
Version Bump
Conformance Tests
0s
Conformance Tests
Prover Tests
0s
Prover Tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Code Quality Checks
Canceling since a higher priority waiting request for 'Run Tests-refs/pull/717/merge' exists
Code Quality Checks
The operation was canceled.