Repository navigation
docs: Phase 1 per-axiom triage of 72 Coq Axioms #77
hyperpolymathgovernance.yml
on: pull_request
governance
/
...
/
package anti-pattern policy
37s
governance
/
...
/
Nix fallback policy
32s
governance
/
Security policy checks
26s
governance
/
Code quality + docs
36s
governance
/
Well-Known (RFC 9116 + RSR)
38s
governance
/
Workflow security linter
39s
Annotations
24 errors
|
governance / Security policy checks
The process '/usr/bin/git' failed with exit code 128
|
|
governance / Security policy checks
couldn't find remote ref refs/pull/58/merge
|
|
governance / Security policy checks
couldn't find remote ref refs/pull/58/merge
|
|
governance / Security policy checks
couldn't find remote ref refs/pull/58/merge
|
|
governance / Guix primary / Nix fallback policy
The process '/usr/bin/git' failed with exit code 128
|
|
governance / Guix primary / Nix fallback policy
couldn't find remote ref refs/pull/58/merge
|
|
governance / Guix primary / Nix fallback policy
couldn't find remote ref refs/pull/58/merge
|
|
governance / Guix primary / Nix fallback policy
couldn't find remote ref refs/pull/58/merge
|
|
governance / Well-Known (RFC 9116 + RSR)
The process '/usr/bin/git' failed with exit code 128
|
|
governance / Well-Known (RFC 9116 + RSR)
couldn't find remote ref refs/pull/58/merge
|
|
governance / Well-Known (RFC 9116 + RSR)
couldn't find remote ref refs/pull/58/merge
|
|
governance / Well-Known (RFC 9116 + RSR)
couldn't find remote ref refs/pull/58/merge
|
|
governance / Language / package anti-pattern policy
The process '/usr/bin/git' failed with exit code 128
|
|
governance / Language / package anti-pattern policy
couldn't find remote ref refs/pull/58/merge
|
|
governance / Language / package anti-pattern policy
couldn't find remote ref refs/pull/58/merge
|
|
governance / Language / package anti-pattern policy
couldn't find remote ref refs/pull/58/merge
|
|
governance / Workflow security linter
The process '/usr/bin/git' failed with exit code 128
|
|
governance / Workflow security linter
couldn't find remote ref refs/pull/58/merge
|
|
governance / Workflow security linter
couldn't find remote ref refs/pull/58/merge
|
|
governance / Workflow security linter
couldn't find remote ref refs/pull/58/merge
|
|
governance / Code quality + docs
The process '/usr/bin/git' failed with exit code 128
|
|
governance / Code quality + docs
couldn't find remote ref refs/pull/58/merge
|
|
governance / Code quality + docs
couldn't find remote ref refs/pull/58/merge
|
|
governance / Code quality + docs
couldn't find remote ref refs/pull/58/merge
|