Skip to content

coqPackages.fourcolor: 1.3.1 → 1.4.0 #128636

coqPackages.fourcolor: 1.3.1 → 1.4.0

coqPackages.fourcolor: 1.3.1 → 1.4.0 #128636

Triggered via pull request November 26, 2024 14:23
@vbglvbgl
synchronize #357923
Status Success
Total duration 55s
Artifacts

check-nix-format.yml

on: pull_request_target
nixfmt-check
45s
nixfmt-check
Fit to window
Zoom out
Zoom in