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
docs: resolve crowdfunding, CI and licensing issues #1199, #1200, #1201, #1202 Formal Verification (Kani) #336: Pull request #1243 opened by laraba9987-cmyk
58s laraba9987-cmyk:docs/crowdfunding-ci-licensing-resolutions
laraba9987-cmyk:docs/crowdfunding-ci-licensing-resolutions
58s
docs: record resolutions for the four assigned issues Formal Verification (Kani) #335: Pull request #1242 opened by JamesEjembi
1m 7s JamesEjembi:docs/assigned-issue-resolutions
JamesEjembi:docs/assigned-issue-resolutions
1m 7s
fix(monitoring,analytics,crowdfunding): bound growth and replace placeholder metrics Formal Verification (Kani) #334: Pull request #1241 opened by JamesEjembi
1m 22s JamesEjembi:fix/1195-1198-integrity-and-bounded-growth
JamesEjembi:fix/1195-1198-integrity-and-bounded-growth
1m 22s
Merge pull request #1240 from usmanimamu17-create/fix/issue-1192-boun… Docs #156: Commit d4d28a1 pushed by nanaf6203-bit
1m 39s main
main
1m 39s
Merge pull request #1240 from usmanimamu17-create/fix/issue-1192-boun… Formal Verification (Kani) #333: Commit d4d28a1 pushed by nanaf6203-bit
1m 17s main
main
1m 17s
fix(database): bound the indexer registry and track liveness Formal Verification (Kani) #332: Pull request #1240 opened by usmanimamu17-create
1m 21s usmanimamu17-create:fix/issue-1192-bounded-indexer-registry
usmanimamu17-create:fix/issue-1192-bounded-indexer-registry
1m 21s
Merge pull request #1239 from 1Psalm/fix/issue-1189-ipfs-document-typ… Formal Verification (Kani) #331: Commit cd17861 pushed by nanaf6203-bit
1m 11s main
main
1m 11s
Merge pull request #1239 from 1Psalm/fix/issue-1189-ipfs-document-typ… Docs #155: Commit cd17861 pushed by nanaf6203-bit
1m 45s main
main
1m 45s
fix(ipfs-metadata): bind document_type to a MIME allow-list per type Formal Verification (Kani) #330: Pull request #1239 opened by 1Psalm
1m 48s 1Psalm:fix/issue-1189-ipfs-document-type-mime-policy
1Psalm:fix/issue-1189-ipfs-document-type-mime-policy
1m 48s
Merge pull request #1238 from snowrugar-beep/fix/issue-1186-real-kani… Formal Verification (Kani) #329: Commit 6c8d8f0 pushed by nanaf6203-bit
1m 19s main
main
1m 19s
Merge pull request #1238 from snowrugar-beep/fix/issue-1186-real-kani… Docs #154: Commit 6c8d8f0 pushed by nanaf6203-bit
1m 51s main
main
1m 51s
fix(lib): replace vacuous Kani harness with real guard proofs Formal Verification (Kani) #328: Pull request #1238 opened by snowrugar-beep
1m 16s snowrugar-beep:fix/issue-1186-real-kani-invariants
snowrugar-beep:fix/issue-1186-real-kani-invariants
1m 16s
Merge pull request #1237 from Spaully/fix/issue-1182-real-verificatio… Formal Verification (Kani) #327: Commit 3381bb7 pushed by nanaf6203-bit
1m 15s main
main
1m 15s
Merge pull request #1237 from Spaully/fix/issue-1182-real-verificatio… Docs #153: Commit 3381bb7 pushed by nanaf6203-bit
1m 39s main
main
1m 39s
fix(traits): derive real verifier selectors instead of placeholder bytes Formal Verification (Kani) #326: Pull request #1237 synchronize by nanaf6203-bit
1m 19s Spaully:fix/issue-1182-real-verification-selectors
Spaully:fix/issue-1182-real-verification-selectors
1m 19s
Merge pull request #1236 from merlik787-droi/fix/issue-1175-factory-i… Formal Verification (Kani) #325: Commit c989c5a pushed by nanaf6203-bit
1m 7s main
main
1m 7s
Merge pull request #1236 from merlik787-droi/fix/issue-1175-factory-i… Docs #152: Commit c989c5a pushed by nanaf6203-bit
1m 45s main
main
1m 45s
fix(factory): validate init_params and version before deploying Formal Verification (Kani) #324: Pull request #1236 opened by merlik787-droi
1m 19s merlik787-droi:fix/issue-1175-factory-init-param-validation
merlik787-droi:fix/issue-1175-factory-init-param-validation
1m 19s
Merge pull request #1235 from lovesmilesmall-hue/fix/issue-1172-proxy… Docs #151: Commit 53bbb87 pushed by nanaf6203-bit
1m 40s main
main
1m 40s
Merge pull request #1235 from lovesmilesmall-hue/fix/issue-1172-proxy… Formal Verification (Kani) #323: Commit 53bbb87 pushed by nanaf6203-bit
1m 26s main
main
1m 26s
feat(proxy): add cancel_implementation for withdrawing a staged upgrade Formal Verification (Kani) #322: Pull request #1235 synchronize by nanaf6203-bit
1m 20s lovesmilesmall-hue:fix/issue-1172-proxy-cancel-staged-upgrade
lovesmilesmall-hue:fix/issue-1172-proxy-cancel-staged-upgrade
1m 20s
Merge pull request #1234 from kilodesodiq-arch/fix/issue-1170-proxy-u… Docs #150: Commit 79eb7cd pushed by nanaf6203-bit
1m 35s main
main
1m 35s
Merge pull request #1234 from kilodesodiq-arch/fix/issue-1170-proxy-u… Formal Verification (Kani) #321: Commit 79eb7cd pushed by nanaf6203-bit
1m 14s main
main
1m 14s
feat(proxy): add cancel_implementation for withdrawing a staged upgrade Formal Verification (Kani) #320: Pull request #1235 opened by lovesmilesmall-hue
1m 11s lovesmilesmall-hue:fix/issue-1172-proxy-cancel-staged-upgrade
lovesmilesmall-hue:fix/issue-1172-proxy-cancel-staged-upgrade
1m 11s
fix(proxy): bound the upgrade delay and announce every change Formal Verification (Kani) #319: Pull request #1234 opened by kilodesodiq-arch
1m 15s kilodesodiq-arch:fix/issue-1170-proxy-upgrade-delay-bounds
kilodesodiq-arch:fix/issue-1170-proxy-upgrade-delay-bounds
1m 15s