Skip to content

Actions: HackingGate/uphold

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
97 workflow runs
97 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Three questions a provider must answer, drawn from eight that were ru… Test #87: Commit ff069fe pushed by HackingGate
4m 29s main
main
4m 29s
Whether a declaration is documented is decidable; the sentence is not… Test #86: Commit 6261903 pushed by HackingGate
2m 54s main
main
2m 54s
Ask two data-flow tools the question a matcher cannot ask (#41) Test #85: Commit db77832 pushed by HackingGate
3m 25s main
main
3m 25s
One ranking, written once, and proved rather than sampled (#40) Test #84: Commit ab933f4 pushed by HackingGate
32s main
main
32s
Three questions a provider must answer, drawn from eight that were run Test #83: Pull request #43 opened by HackingGate
5m 29s docs/the-provider-contract
docs/the-provider-contract
5m 29s
Whether a declaration is documented is decidable; the sentence is not Test #82: Pull request #42 opened by HackingGate
6m 26s test/documentation-is-decidable-the-sentence-is-not
test/documentation-is-decidable-the-sentence-is-not
6m 26s
Ask two data-flow tools the question a matcher cannot ask Test #81: Pull request #41 opened by HackingGate
5m 22s docs/the-semantic-tier
docs/the-semantic-tier
5m 22s
A parse that failed is not a check that passed (#39) Test #80: Commit b65773f pushed by HackingGate
7m 48s main
main
7m 48s
One ranking, written once, and proved rather than sampled Test #79: Pull request #40 opened by HackingGate
14m 49s proof/exit-state-invariants
proof/exit-state-invariants
14m 49s
A parse that failed is not a check that passed Test #78: Pull request #39 synchronize by HackingGate
5m 38s test/a-parse-that-failed-is-not-a-pass
test/a-parse-that-failed-is-not-a-pass
5m 38s
A parse that failed is not a check that passed Test #77: Pull request #39 opened by HackingGate
4m 25s test/a-parse-that-failed-is-not-a-pass
test/a-parse-that-failed-is-not-a-pass
4m 25s
Answer a reader that went away, rather than panicking at it (#38) Test #76: Commit 4a262ae pushed by HackingGate
5m 42s main
main
5m 42s
Answer a reader that went away, rather than panicking at it Test #75: Pull request #38 opened by HackingGate
8m 11s fix/a-reader-that-went-away
fix/a-reader-that-went-away
8m 11s
Keep the shim links in one directory, and say what PATH reaches (#36) Test #74: Commit 659c51b pushed by HackingGate
9m 23s main
main
9m 23s
Keep the shim links in one directory, and say what PATH reaches Test #73: Pull request #36 synchronize by HackingGate
6m 12s feat/a-directory-of-shims
feat/a-directory-of-shims
6m 12s
Keep the shim links in one directory, and say what PATH reaches Test #72: Pull request #36 opened by HackingGate
5m 39s feat/a-directory-of-shims
feat/a-directory-of-shims
5m 39s
Hold the loader to two invariants over a policy nobody would write (#35) Test #71: Commit 1f6b26b pushed by HackingGate
6m 33s main
main
6m 33s
Hold the loader to two invariants over a policy nobody would write Test #70: Pull request #35 opened by HackingGate
7m 53s test/malformed-policy-invariants
test/malformed-policy-invariants
7m 53s
Say what this crate may depend on, and under what terms (#34) Test #69: Commit bf0750d pushed by HackingGate
7m 41s main
main
7m 41s
Let one file hold both features, since one file already does (#33) Test #68: Commit a344a61 pushed by HackingGate
9m 58s main
main
9m 58s
Say what this crate may depend on, and under what terms Test #67: Pull request #34 opened by HackingGate
10m 53s chore/supply-chain-gate
chore/supply-chain-gate
10m 53s
Let one file hold both features, since one file already does Test #66: Pull request #33 synchronize by HackingGate
8m 36s fix/one-file-two-readers
fix/one-file-two-readers
8m 36s
Make the git-environment rule a check rather than a helper nobody mus… Test #65: Commit 180405b pushed by HackingGate
4m 46s main
main
4m 46s
Let one file hold both features, since one file already does Test #64: Pull request #33 opened by HackingGate
3m 54s fix/one-file-two-readers
fix/one-file-two-readers
3m 54s
Make the git-environment rule a check rather than a helper nobody must use Test #63: Pull request #32 opened by HackingGate
4m 47s test/structural-git-environment
test/structural-git-environment
4m 47s