Skip to content
.github/workflows/ci.yml

Switch from derivative to derive-where #1640

Sign in to view logs

Switch from derivative to derive-where

Switch from derivative to derive-where #1640

Re-run triggered November 12, 2024 22:10
@NadrierilNadrieril
#459
qinheping:derive-where
Status Cancelled
Total duration 16s
Artifacts –

ci.yml

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

Annotations

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