Skip to content
Nix CI

chore: move docstrings for open, variable, universe, export from elaborator to parser #12551

Sign in to view logs

chore: move docstrings for open, variable, universe, export from elaborator to parser

chore: move docstrings for open, variable, universe, export from elaborator to parser #12551

Triggered via pull request April 12, 2024 16:40
@TwoFXTwoFX
opened #3891
move-elab-docstrings
Status Cancelled
Total duration 2s
Artifacts –

nix-ci.yml

on: pull_request
Matrix: Build
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Nix CI
Canceling since a higher priority waiting request for 'Nix CI-refs/pull/3891/merge' exists