Skip to content
.github/workflows/ci.yml

Derive eq #1873

Sign in to view logs

Derive eq

Derive eq #1873

This workflow is awaiting approval from a maintainer in #548
Triggered via pull request February 11, 2025 13:00
@N1arkN1ark
opened #548
N1ark:derive_eq
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #548

ci.yml

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