Skip to content

coqPackages.fourcolor: 1.3.1 → 1.4.0 #15557

coqPackages.fourcolor: 1.3.1 → 1.4.0

coqPackages.fourcolor: 1.3.1 → 1.4.0 #15557

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

nix-parse-v2.yml

on: pull_request_target
nix-files-parseable-check
16s
nix-files-parseable-check
Fit to window
Zoom out
Zoom in