Skip to content

Remove Stdlib dependency #82

Remove Stdlib dependency

Remove Stdlib dependency #82

Triggered via pull request February 21, 2025 17:20
@proux01proux01
synchronize #63
Status Failure
Total duration 48s
Artifacts

nix-action-8.17.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in

Annotations

1 error
coq
Process completed with exit code 1.