We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e577333 commit 4025256Copy full SHA for 4025256
.github/nix-action-coq-8.17-macos.yml
.github/nix-action-coq-8.17-ubuntu.yml
0 commit comments