Skip to content
Build & Test

Fix SubSeqTyping axiom for the empty case #225

Sign in to view logs

Fix SubSeqTyping axiom for the empty case

Fix SubSeqTyping axiom for the empty case #225

Triggered via pull request June 16, 2025 14:34
@rozlyndrozlynd
opened #216
rozlynd:fix-subseqtyping-axiom-emptycase
Status Cancelled
Total duration 5m 32s
Artifacts –

ci.yml

on: pull_request
Matrix: Build & Test
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Build & Test (ubuntu-latest, 5.1.0)
The operation was canceled.
Build & Test (ubuntu-latest, 5.1.0)
Canceling since a higher priority waiting request for Build & Test-216 exists
Build & Test (ubuntu-latest, 4.14.1)
The operation was canceled.
Build & Test (ubuntu-latest, 4.14.1)
Canceling since a higher priority waiting request for Build & Test-216 exists
Build & Test (macos-latest, 4.14.1)
The operation was canceled.
Build & Test (macos-latest, 4.14.1)
Canceling since a higher priority waiting request for Build & Test-216 exists
Build & Test
Canceling since a higher priority waiting request for Build & Test-216 exists
Build & Test (macos-latest, 5.1.0)
The operation was canceled.
Build & Test (macos-latest, 5.1.0)
Canceling since a higher priority waiting request for Build & Test-216 exists