feat(proofs/agda): upstream Echo/CNO bridge files from maa-framework vendored copy #91
hyperpolymathgovernance.yml
on: pull_request
governance
/
Validate Hypatia baseline
43s
governance
/
...
/
package anti-pattern policy
32s
governance
/
...
/
Nix fallback policy
42s
governance
/
Security policy checks
42s
governance
/
Code quality + docs
28s
governance
/
Well-Known (RFC 9116 + RSR)
31s
governance
/
Workflow security linter
38s
governance
/
Trusted-base reduction policy
37s
Annotations
32 errors
|
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/65/merge
|
|
governance / Code quality + docs
couldn't find remote ref refs/pull/65/merge
|
|
governance / Code quality + docs
couldn't find remote ref refs/pull/65/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/65/merge
|
|
governance / Well-Known (RFC 9116 + RSR)
couldn't find remote ref refs/pull/65/merge
|
|
governance / Well-Known (RFC 9116 + RSR)
couldn't find remote ref refs/pull/65/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/65/merge
|
|
governance / Language / package anti-pattern policy
couldn't find remote ref refs/pull/65/merge
|
|
governance / Language / package anti-pattern policy
couldn't find remote ref refs/pull/65/merge
|
|
governance / Trusted-base reduction policy
The process '/usr/bin/git' failed with exit code 128
|
|
governance / Trusted-base reduction policy
couldn't find remote ref refs/pull/65/merge
|
|
governance / Trusted-base reduction policy
couldn't find remote ref refs/pull/65/merge
|
|
governance / Trusted-base reduction policy
couldn't find remote ref refs/pull/65/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/65/merge
|
|
governance / Workflow security linter
couldn't find remote ref refs/pull/65/merge
|
|
governance / Workflow security linter
couldn't find remote ref refs/pull/65/merge
|
|
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/65/merge
|
|
governance / Security policy checks
couldn't find remote ref refs/pull/65/merge
|
|
governance / Security policy checks
couldn't find remote ref refs/pull/65/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/65/merge
|
|
governance / Guix primary / Nix fallback policy
couldn't find remote ref refs/pull/65/merge
|
|
governance / Guix primary / Nix fallback policy
couldn't find remote ref refs/pull/65/merge
|
|
governance / Validate Hypatia baseline
The process '/usr/bin/git' failed with exit code 128
|
|
governance / Validate Hypatia baseline
couldn't find remote ref refs/pull/65/merge
|
|
governance / Validate Hypatia baseline
couldn't find remote ref refs/pull/65/merge
|
|
governance / Validate Hypatia baseline
couldn't find remote ref refs/pull/65/merge
|