All workflows

Workflow runs

• Treasury cap search (nightly, deep)

  failed:
  Treasury cap search (nightly, deep)#6:Scheduled
  develop

  Oct 27, 202630s
  More actions for workflow run 6

• Merge pull request #171 from achiever2110/fix/sep40-price-resolution-26

  failed:
  Local E2E#188:Commit9238286pushedbyNursca
  develop

  Oct 26, 20261m 5s
  More actions for workflow run 188

• Merge pull request #171 from achiever2110/fix/sep40-price-resolution-26

  failed:
  Coverage#103:Commit9238286pushedbyNursca
  develop

  Oct 26, 202657s
  More actions for workflow run 103

• Merge pull request #171 from achiever2110/fix/sep40-price-resolution-26

  failed:
  CI#94:Commit9238286pushedbyNursca
  develop

  Oct 26, 202626s
  More actions for workflow run 94

• Merge pull request #249 from D-Bluemoon/D-Bluemoon-oracle

  failed:
  Coverage#102:Commit095b73epushedbyNursca
  develop

  Oct 26, 20261m 10s
  More actions for workflow run 102

• Merge pull request #249 from D-Bluemoon/D-Bluemoon-oracle

  failed:
  CI#93:Commit095b73epushedbyNursca
  develop

  Oct 26, 202639s
  More actions for workflow run 93

• Merge pull request #249 from D-Bluemoon/D-Bluemoon-oracle

  failed:
  Local E2E#187:Commit095b73epushedbyNursca
  develop

  Oct 26, 20261m 41s
  More actions for workflow run 187

• Add agent risk sizing and signing primitives

  failed:
  Local E2E#186:Pull request#249synchronizebyD-Bluemoon
  D-Bluemoon:D-Bluemoon-oracle

  Oct 26, 20261m 19s
  More actions for workflow run 186

• Add agent risk sizing and signing primitives

  failed:
  Coverage#101:Pull request#249synchronizebyD-Bluemoon
  D-Bluemoon:D-Bluemoon-oracle

  Oct 26, 20261m 17s
  More actions for workflow run 101

• Add agent risk sizing and signing primitives

  completed successfully:
  Formal model (resolver)#26:Pull request#249synchronizebyD-Bluemoon
  D-Bluemoon:D-Bluemoon-oracle

  Oct 26, 202619s
  More actions for workflow run 26

• Add agent risk sizing and signing primitives

  failed:
  CI#92:Pull request#249synchronizebyD-Bluemoon
  D-Bluemoon:D-Bluemoon-oracle

  Oct 26, 202634s
  More actions for workflow run 92

• Kani proofs

  failed:
  Kani proofs#44:Scheduled
  develop

  Oct 26, 202630s
  More actions for workflow run 44

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  failed:
  Kani proofs#43:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 20262m 25s
  More actions for workflow run 43

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  failed:
  CI#91:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 202634s
  More actions for workflow run 91

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  failed:
  Local E2E#185:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 202658s
  More actions for workflow run 185

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  completed successfully:
  Formal model (resolver)#25:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 202620s
  More actions for workflow run 25

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  failed:
  Coverage#100:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 202639s
  More actions for workflow run 100

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  failed:
  CI#90:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 202634s
  More actions for workflow run 90

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  completed successfully:
  Formal model (resolver)#24:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 202634s
  More actions for workflow run 24

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  failed:
  Local E2E#184:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 202654s
  More actions for workflow run 184

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  failed:
  Kani proofs#42:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 20263m 30s
  More actions for workflow run 42

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  failed:
  Coverage#99:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 202641s
  More actions for workflow run 99

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  failed:
  Kani proofs#41:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 20263m 35s
  More actions for workflow run 41

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  completed successfully:
  Formal model (resolver)#23:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 202624s
  More actions for workflow run 23

• fix: decimals-aware market-core with 256-bit mul_div intermediates

  failed:
  Local E2E#183:Pull request#164synchronizebyEmmazlee
  Emmazlee:fix/issue-3-support-collateral-of-any-decimals-with-256-bit-r2

  Oct 26, 20261m 0s
  More actions for workflow run 183