All workflows

Workflow runs

• Treasury cap search (nightly, deep)

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

  Nov 11, 202623s
  More actions for workflow run 21

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

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

  Nov 10, 20262m 42s
  More actions for workflow run 198

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

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

  Nov 10, 202620s
  More actions for workflow run 104

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

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

  Nov 10, 20262m 26s
  More actions for workflow run 52

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

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

  Nov 10, 20262m 11s
  More actions for workflow run 113

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

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

  Nov 10, 20269s
  More actions for workflow run 31

• Treasury cap search (nightly, deep)

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

  Nov 10, 202623s
  More actions for workflow run 20

• Kani proofs

  failed:
  Kani proofs#51:Scheduled
  develop

  Nov 9, 202633s
  More actions for workflow run 51

• Treasury cap search (nightly, deep)

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

  Nov 9, 202622s
  More actions for workflow run 19

• Treasury cap search (nightly, deep)

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

  Nov 8, 202618s
  More actions for workflow run 18

• feat(agents): add typed validated agent configuration and safety interlocks (#107)

  failed:
  Coverage#112:Pull request#194synchronizebyryder777777
  ryder777777:feat/issue-107-validated-agent-config

  Nov 8, 20262d 14h 33m 21s
  More actions for workflow run 112

• feat(agents): add typed validated agent configuration and safety interlocks (#107)

  failed:
  CI#103:Pull request#194synchronizebyryder777777
  ryder777777:feat/issue-107-validated-agent-config

  Nov 8, 20262d 14h 33m 21s
  More actions for workflow run 103

• feat(agents): add typed validated agent configuration and safety interlocks (#107)

  failed:
  Local E2E#197:Pull request#194synchronizebyryder777777
  ryder777777:feat/issue-107-validated-agent-config

  Nov 8, 20262d 14h 33m 21s
  More actions for workflow run 197

• feat(agents): implement cross-market consistency arbitrage strategy (#108)

  failed:
  CI#102:Pull request#191synchronizebyryder777777
  ryder777777:feat/issue-108-cross-market-arbitrage

  Nov 8, 20262d 14h 33m 26s
  More actions for workflow run 102

• feat(agents): implement cross-market consistency arbitrage strategy (#108)

  failed:
  Coverage#111:Pull request#191synchronizebyryder777777
  ryder777777:feat/issue-108-cross-market-arbitrage

  Nov 8, 20262d 14h 33m 26s
  More actions for workflow run 111

• feat(agents): implement cross-market consistency arbitrage strategy (#108)

  failed:
  Local E2E#196:Pull request#191synchronizebyryder777777
  ryder777777:feat/issue-108-cross-market-arbitrage

  Nov 8, 20262d 14h 33m 26s
  More actions for workflow run 196

• feat(metadata): define canonical MarketMetadataV1 schema and JCS+NFC verification (#144)

  failed:
  CI#101:Pull request#190synchronizebyryder777777
  ryder777777:feat/issue-144-canonical-market-metadata

  Nov 8, 20262d 14h 33m 38s
  More actions for workflow run 101

• feat(metadata): define canonical MarketMetadataV1 schema and JCS+NFC verification (#144)

  failed:
  Local E2E#195:Pull request#190synchronizebyryder777777
  ryder777777:feat/issue-144-canonical-market-metadata

  Nov 8, 20262d 14h 33m 38s
  More actions for workflow run 195

• feat(metadata): define canonical MarketMetadataV1 schema and JCS+NFC verification (#144)

  failed:
  Coverage#110:Pull request#190synchronizebyryder777777
  ryder777777:feat/issue-144-canonical-market-metadata

  Nov 8, 20262d 14h 33m 38s
  More actions for workflow run 110

• Treasury cap search (nightly, deep)

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

  Nov 7, 202619s
  More actions for workflow run 17

• Treasury cap search (nightly, deep)

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

  Nov 6, 202624s
  More actions for workflow run 16

• Treasury cap search (nightly, deep)

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

  Nov 5, 202629s
  More actions for workflow run 15

• Treasury cap search (nightly, deep)

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

  Nov 4, 202623s
  More actions for workflow run 14

• Treasury cap search (nightly, deep)

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

  Nov 3, 202623s
  More actions for workflow run 13

• Kani proofs

  failed:
  Kani proofs#50:Scheduled
  develop

  Nov 2, 202646s
  More actions for workflow run 50