Skip to content
.github/workflows/ci.yml

Lift clauses on associated types to be clauses on the whole trait #1147

Sign in to view logs

Lift clauses on associated types to be clauses on the whole trait

Lift clauses on associated types to be clauses on the whole trait #1147

Triggered via pull request July 16, 2024 12:40
@NadrierilNadrieril
opened #290
Nadrieril:lift-item-clauses
Status Cancelled
Total duration 28s
Artifacts –

ci.yml

on: pull_request
check_if_skip_duplicate_job
0s
check_if_skip_duplicate_job
check-version-number
0s
check-version-number
nix
0s
nix
eurydice
0s
eurydice
aeneas
0s
aeneas
kyber
0s
kyber
Fit to window
Zoom out
Zoom in

Annotations

2 errors
check_if_skip_duplicate_job
The run was canceled by @Nadrieril.
check-version-number
The run was canceled by @Nadrieril.