Skip to content

Actions: hyperpolymath/valence-shell

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
540 workflow runs
540 workflow runs

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
Hypatia Security Scan Hypatia Security Scan #540: Scheduled
1m 8s main
main
1m 8s
Fix/verify preconditions real (#216) Hypatia Security Scan #539: Commit 680c929 pushed by hyperpolymath
1m 29s main
main
1m 29s
Fix/verify preconditions real Hypatia Security Scan #538: Pull request #216 synchronize by hyperpolymath
1m 34s fix/verify-preconditions-real
fix/verify-preconditions-real
1m 34s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5… Hypatia Security Scan #537: Commit c033e9e pushed by hyperpolymath
2m 36s main
main
2m 36s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5) Hypatia Security Scan #536: Pull request #215 opened by hyperpolymath
2m 39s fix/verify-preconditions-real
fix/verify-preconditions-real
2m 39s
fix(test): model oracle test fails instead of skipping as a pass (P0-… Hypatia Security Scan #535: Commit 3440d69 pushed by hyperpolymath
1m 48s main
main
1m 48s
fix(test): model oracle test fails instead of skipping as a pass (P0-4) Hypatia Security Scan #534: Pull request #214 synchronize by hyperpolymath
1m 56s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
1m 56s
chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) (#213) Hypatia Security Scan #533: Commit 53ae47f pushed by hyperpolymath
1m 27s main
main
1m 27s
chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) Hypatia Security Scan #532: Pull request #213 opened by hyperpolymath
1m 0s chore/lean-4-34-1
chore/lean-4-34-1
1m 0s
docs: THEORY-FEED direction doc (D127, D204–D206) (#211) Hypatia Security Scan #531: Commit 4401867 pushed by hyperpolymath
52s main
main
52s
docs: THEORY-FEED direction doc (D127, D204–D206) Hypatia Security Scan #530: Pull request #211 synchronize by hyperpolymath
13m 32s docs/theory-feed-d127
docs/theory-feed-d127
13m 32s
docs: add Signed commits section to CONTRIBUTING (#212) Hypatia Security Scan #529: Commit 94410af pushed by hyperpolymath
1m 3s main
main
1m 3s
docs: add Signed commits section to CONTRIBUTING Hypatia Security Scan #528: Pull request #212 opened by hyperpolymath
1m 11s docs/signing-policy-d218
docs/signing-policy-d218
1m 11s
docs: THEORY-FEED direction doc (D127, D204–D206) Hypatia Security Scan #527: Pull request #211 synchronize by coderabbitai Bot
1m 3s docs/theory-feed-d127
docs/theory-feed-d127
1m 3s
docs: THEORY-FEED direction doc (D127, D204–D206) Hypatia Security Scan #526: Pull request #211 synchronize by hyperpolymath
1m 9s docs/theory-feed-d127
docs/theory-feed-d127
1m 9s
docs: THEORY-FEED direction doc (D127, D204–D206) Hypatia Security Scan #525: Pull request #211 opened by hyperpolymath
1m 18s docs/theory-feed-d127
docs/theory-feed-d127
1m 18s
chore(deps): bump the actions group with 4 updates (#209) Hypatia Security Scan #524: Commit 0355246 pushed by hyperpolymath
37s main
main
37s
chore(deps): bump the actions group with 4 updates Hypatia Security Scan #523: Pull request #209 opened by dependabot Bot
40s dependabot/github_actions/actions-c42d929ac2
dependabot/github_actions/actions-c42d929ac2
40s
Hypatia Security Scan Hypatia Security Scan #522: Scheduled
33s main
main
33s
docs: cite launcher-standard_praxis.deed, not the deleted a2ml (#208) Hypatia Security Scan #521: Commit f9d526b pushed by hyperpolymath
1m 10s main
main
1m 10s
docs: cite launcher-standard_praxis.deed, not the deleted a2ml Hypatia Security Scan #520: Pull request #208 opened by hyperpolymath
1m 5s docs/ac1-cite-launcher-standard-praxis-deed
docs/ac1-cite-launcher-standard-praxis-deed
1m 5s
chore(deps): bump the actions group with 7 updates (#205) Hypatia Security Scan #519: Commit 6107346 pushed by hyperpolymath
6h 9m 55s main
main
6h 9m 55s
fix(gates): gate on the DEED grammar, per the template and standards#… Hypatia Security Scan #518: Commit b774dab pushed by hyperpolymath
20s main
main
20s
fix(gates): gate on the DEED grammar, per the template and standards#837 Hypatia Security Scan #517: Pull request #207 opened by hyperpolymath
5h 0m 46s fix/deed-gate-grammar
fix/deed-gate-grammar
5h 0m 46s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam… Hypatia Security Scan #516: Commit fe95d21 pushed by hyperpolymath
1h 27m 56s main
main
1h 27m 56s