Skip to content

Merge pull request #36 from pq-code-package/dependabot/github_actions… #86

Merge pull request #36 from pq-code-package/dependabot/github_actions…

Merge pull request #36 from pq-code-package/dependabot/github_actions… #86

Triggered via push October 2, 2025 02:31
Status Success
Total duration 2h 25m 44s
Artifacts

all.yml

on: push
Matrix: Base / quickcheck-c90
Matrix: Base / quickcheck
Nix  /  check_modified_files
4s
Nix / check_modified_files
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
Matrix: Extended / compiler_tests
Fit to window
Zoom out
Zoom in