Skip to content

Add preserves-definedness attributes #2609

Add preserves-definedness attributes

Add preserves-definedness attributes #2609

Triggered via pull request January 22, 2025 15:14
Status Cancelled
Total duration 23s
Artifacts

test-pr.yml

on: pull_request
Code Quality Checks
12s
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.