All workflows

Workflow runs

• 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

• Treasury cap search (nightly, deep)

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

  Nov 2, 202626s
  More actions for workflow run 12

• Treasury cap search (nightly, deep)

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

  Nov 1, 202619s
  More actions for workflow run 11

• Treasury cap search (nightly, deep)

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

  Oct 31, 202621s
  More actions for workflow run 10

• Treasury cap search (nightly, deep)

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

  Oct 30, 202622s
  More actions for workflow run 9

• Treasury cap search (nightly, deep)

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

  Oct 29, 202625s
  More actions for workflow run 8

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

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

  Oct 29, 20263m 13s
  More actions for workflow run 49

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

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

  Oct 29, 20261m 3s
  More actions for workflow run 194

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

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

  Oct 29, 202623s
  More actions for workflow run 100

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

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

  Oct 29, 20261m 1s
  More actions for workflow run 109

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

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

  Oct 29, 202621s
  More actions for workflow run 30

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

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

  Oct 29, 20263m 23s
  More actions for workflow run 48

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

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

  Oct 29, 202619s
  More actions for workflow run 99

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

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

  Oct 29, 202622s
  More actions for workflow run 29

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

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

  Oct 29, 20261m 2s
  More actions for workflow run 193

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

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

  Oct 29, 202658s
  More actions for workflow run 108

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

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

  Oct 29, 20261m 16s
  More actions for workflow run 192

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

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

  Oct 29, 202622s
  More actions for workflow run 28

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

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

  Oct 29, 202648s
  More actions for workflow run 107

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

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

  Oct 29, 202621s
  More actions for workflow run 98