Skip to content

Actions: MettaChain/PropChain-contract

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
fix(governance): freeze signer roster changes while proposals are active Formal Verification (Kani) #241: Pull request #1079 opened by jonathanayubausara-a11y
1m 15s jonathanayubausara-a11y:fix/governance-signer-roster-freeze
jonathanayubausara-a11y:fix/governance-signer-roster-freeze
1m 15s
fix(identity): stop accepting forged zero-knowledge proofs Formal Verification (Kani) #240: Pull request #1078 opened by jonathanayubausara-a11y
1m 18s jonathanayubausara-a11y:fix/identity-zk-verification-honesty
jonathanayubausara-a11y:fix/identity-zk-verification-honesty
1m 18s
fix(dex): escrow trading competition rewards before they can be claimed Formal Verification (Kani) #239: Pull request #1077 opened by jonathanayubausara-a11y
1m 17s jonathanayubausara-a11y:fix/dex-competition-reward-escrow
jonathanayubausara-a11y:fix/dex-competition-reward-escrow
1m 17s
fix(oracle): wire aggregation and median cache helpers into live paths, remove dead modules Formal Verification (Kani) #238: Pull request #1076 opened by jonathanayubausara-a11y
1m 27s jonathanayubausara-a11y:fix/oracle-dead-modules-and-fabricated-valuation
jonathanayubausara-a11y:fix/oracle-dead-modules-and-fabricated-valuation
1m 27s
perf(metadata): paginate get_version_history to bound history reads Formal Verification (Kani) #237: Pull request #1075 opened by Moonwalker-rgb
1m 43s Moonwalker-rgb:fix/1028-metadata-version-history-pagination
Moonwalker-rgb:fix/1028-metadata-version-history-pagination
1m 43s
test(fees): cover strategy selection and fallback Formal Verification (Kani) #236: Pull request #1074 opened by Moonwalker-rgb
1m 25s Moonwalker-rgb:fix/1027-fees-strategy-tests
Moonwalker-rgb:fix/1027-fees-strategy-tests
1m 25s
test(insurance): cover reinsurance agreements and recovery path Formal Verification (Kani) #235: Pull request #1073 opened by Moonwalker-rgb
1m 14s Moonwalker-rgb:fix/1026-insurance-reinsurance-tests
Moonwalker-rgb:fix/1026-insurance-reinsurance-tests
1m 14s
fix(identity): remove no-op cross_contract_helper Formal Verification (Kani) #234: Pull request #1072 opened by Moonwalker-rgb
1m 19s Moonwalker-rgb:fix/1025-remove-noop-cross-contract-helper
Moonwalker-rgb:fix/1025-remove-noop-cross-contract-helper
1m 19s
test(insurance): regression coverage for oracle-data ingestion and parametric getters Formal Verification (Kani) #233: Pull request #1071 opened by gbengaeben
1m 28s gbengaeben:fix/1030-insurance-oracle-parametric-tests
gbengaeben:fix/1030-insurance-oracle-parametric-tests
1m 28s
test(staking): cover non-admin rejection of set_slashing_coordinator Formal Verification (Kani) #232: Pull request #1070 opened by gbengaeben
1m 25s gbengaeben:fix/1029-staking-slashing-coordinator-auth
gbengaeben:fix/1029-staking-slashing-coordinator-auth
1m 25s
test(mock-oracle): cover non-admin rejection of transfer_admin Formal Verification (Kani) #231: Pull request #1069 opened by gbengaeben
1m 21s gbengaeben:fix/1032-mock-oracle-admin-transfer-tests
gbengaeben:fix/1032-mock-oracle-admin-transfer-tests
1m 21s
feat(governance): emit PublicKeyRegistered event on public-key registration Formal Verification (Kani) #230: Pull request #1068 opened by gbengaeben
1m 16s gbengaeben:fix/1031-governance-public-key-registration-event
gbengaeben:fix/1031-governance-public-key-registration-event
1m 16s
Nightly Security & Mutation Audit Nightly Security & Mutation Audit #62: Scheduled
31s main
main
31s
docs: document propchain-contracts public API — 9 missing ink! message doc comments ( Formal Verification (Kani) #229: Pull request #1067 opened by Ummi-001
1m 24s Ummi-001:docs/issue-964-ink-message-docs
Ummi-001:docs/issue-964-ink-message-docs
1m 24s
Nightly Security & Mutation Audit Nightly Security & Mutation Audit #61: Scheduled
6m 39s main
main
6m 39s
Merge pull request #1066 from abdoolyaro/docs/957-960-ink-message-doc… Formal Verification (Kani) #228: Commit 4695fcc pushed by nanaf6203-bit
1m 28s main
main
1m 28s
Merge pull request #1066 from abdoolyaro/docs/957-960-ink-message-doc… Docs #108: Commit 4695fcc pushed by nanaf6203-bit
2m 12s main
main
2m 12s
Merge pull request #1066 from abdoolyaro/docs/957-960-ink-message-doc… .github/workflows/smoke-ci.yml #235: Commit 4695fcc pushed by nanaf6203-bit
Failure main
main
Failure
Merge pull request #1065 from Femaleotaku/feature/traits-monitoring-i… Docs #107: Commit 075198b pushed by nanaf6203-bit
2m 28s main
main
2m 28s
Merge pull request #1065 from Femaleotaku/feature/traits-monitoring-i… Formal Verification (Kani) #227: Commit 075198b pushed by nanaf6203-bit
1m 36s main
main
1m 36s
Merge pull request #1065 from Femaleotaku/feature/traits-monitoring-i… .github/workflows/smoke-ci.yml #234: Commit 075198b pushed by nanaf6203-bit
Failure main
main
Failure
docs: add doc comments to all ink! messages in sanctions, version-reg… Formal Verification (Kani) #226: Pull request #1066 opened by abdoolyaro
1m 20s abdoolyaro:docs/957-960-ink-message-doc-comments
abdoolyaro:docs/957-960-ink-message-doc-comments
1m 20s
Document GDPR API, activate dormant insurance/monitoring suites, repair red gates Formal Verification (Kani) #225: Pull request #1065 opened by Femaleotaku
1m 39s Femaleotaku:feature/traits-monitoring-insurance-cleanup
Femaleotaku:feature/traits-monitoring-insurance-cleanup
1m 39s
Merge main into PR 1064 Formal Verification (Kani) #224: Commit 24fac29 pushed by nanaf6203-bit
1m 25s main
main
1m 25s
Merge main into PR 1064 Docs #106: Commit 24fac29 pushed by nanaf6203-bit
1m 47s main
main
1m 47s