soldeer-package

Workflow runs for soldeer-package

• Remove CodeRabbit references (#736)

  completed successfully:
  soldeer-package#83:Commit35c61f8pushedbyJuaniRios
  main

  Oct 31, 20265m 40s
  More actions for workflow run 83

• Remove CodeRabbit references

  completed successfully:
  soldeer-package#82:Commit3b43ea4pushedbyJuaniRios
  remove-coderabbit

  Oct 31, 202613m 12s
  More actions for workflow run 82

• docs: fix two contradictions in the merge-brief PR template (#735)

  completed successfully:
  soldeer-package#81:Commit28ba2e1pushedbyJuaniRios
  main

  Oct 28, 202616m 47s
  More actions for workflow run 81

• docs: fix two contradictions in the merge-brief PR template

  completed successfully:
  soldeer-package#80:Commit80e1ae3pushedbyJuaniRios
  pr-template-proof-rule

  Oct 28, 202610m 1s
  More actions for workflow run 80

• docs: add the merge-brief PR template (#734)

  completed successfully:
  soldeer-package#79:Commit9ea0e3apushedbyJuaniRios
  main

  Oct 27, 20261h 15m 9s
  More actions for workflow run 79

• docs: add the merge-brief PR template

  completed successfully:
  soldeer-package#78:Commitffe6ddepushedbyJuaniRios
  pr-template-merge-brief

  Oct 27, 20261h 0m 54s
  More actions for workflow run 78

• Merge pull request #733 from rainlanguage/ci/rs-test-reusable

  completed successfully:
  soldeer-package#77:Commit3036066pushedbyJuaniRios
  pr-template-merge-brief

  Oct 27, 202659m 12s
  More actions for workflow run 77

• Merge pull request #731 from rainlanguage/729-gm

  completed successfully:
  soldeer-package#76:Commitf1b8cfdpushedbyhardyjosh
  sol-v0.3.11

  Oct 26, 202616m 36s
  More actions for workflow run 76

• Merge pull request #733 from rainlanguage/ci/rs-test-reusable

  completed successfully:
  soldeer-package#75:Commit3036066pushedbythedavidmeister
  main

  Oct 26, 202614m 1s
  More actions for workflow run 75

• Merge pull request #731 from rainlanguage/729-gm

  completed successfully:
  soldeer-package#74:Commitf1b8cfdpushedbythedavidmeister
  main

  Oct 26, 202634m 49s
  More actions for workflow run 74

• ci: call the rainix reusable rs-test workflow

  completed successfully:
  soldeer-package#73:Commit438bcd0pushedbythedavidmeister
  ci/rs-test-reusable

  Oct 26, 20264m 6s
  More actions for workflow run 73

• Bind gm swap condition to a local so slither sees the comparison used

  completed successfully:
  soldeer-package#72:Commit2bbf1b5pushedbythedavidmeister
  729-gm

  Oct 26, 202618m 6s
  More actions for workflow run 72

• test: gm pins equal magnitudes in both orders to one encoding; gas sn…

  completed successfully:
  soldeer-package#71:Commitd718b6apushedbythedavidmeister
  729-gm

  Oct 26, 20261m 44s
  More actions for workflow run 71

• chore: gas snapshot at fuzz seed 0

  completed successfully:
  soldeer-package#70:Commite119ba6pushedbythedavidmeister
  729-gm

  Oct 26, 20261m 45s
  More actions for workflow run 70

• feat: LibDecimalFloat.gm, the signed geometric mean (#729)

  completed successfully:
  soldeer-package#69:Commit16c811fpushedbythedavidmeister
  729-gm

  Oct 26, 20262m 16s
  More actions for workflow run 69

• Merge pull request #727 from rainlanguage/2026-10-16-log10ratio-exact…

  completed successfully:
  soldeer-package#68:Commitc86c2f9pushedbythedavidmeister
  main

  Oct 16, 20261m 57s
  More actions for workflow run 68

• audit: the reference's matching cascade bound is equivalent too

  completed successfully:
  soldeer-package#67:Commitaffe872pushedbythedavidmeister
  2026-10-16-log10ratio-exact-floors

  Oct 16, 20261m 56s
  More actions for workflow run 67

• chore: regenerate gas snapshot

  completed successfully:
  soldeer-package#66:Commitbcbcae1pushedbythedavidmeister
  2026-10-16-log10ratio-exact-floors

  Oct 16, 20262m 5s
  More actions for workflow run 66

• Merge pull request #726 from rainlanguage/2026-10-16-soldeer-package-…

  completed successfully:
  soldeer-package#65:Commit635aa0apushedbythedavidmeister
  main

  Oct 16, 20261m 44s
  More actions for workflow run 65

• ci: name the soldeer-package job so its check can be required

  completed successfully:
  soldeer-package#64:Commitbb40aa2pushedbythedavidmeister
  2026-10-16-soldeer-package-check-name

  Oct 16, 20261m 36s
  More actions for workflow run 64

• Merge pull request #719 from rainlanguage/2026-10-14-wei-floor-ceil-s…

  completed successfully:
  soldeer-package#63:Commit8d1aec3pushedbyhardyjosh
  sol-v0.3.10

  Oct 16, 20261m 49s
  More actions for workflow run 63

• Merge pull request #719 from rainlanguage/2026-10-14-wei-floor-ceil-s…

  completed successfully:
  soldeer-package#62:Commit8d1aec3pushedbythedavidmeister
  main

  Oct 16, 20261m 46s
  More actions for workflow run 62

• Regenerate .gas-snapshot after merging main

  completed successfully:
  soldeer-package#61:Commita5503ccpushedbythedavidmeister
  2026-10-14-wei-floor-ceil-safe-side

  Oct 16, 20261m 45s
  More actions for workflow run 61

• Merge pull request #725 from rainlanguage/2026-10-16-delete-equivalen…

  completed successfully:
  soldeer-package#60:Commit0e32220pushedbythedavidmeister
  main

  Oct 16, 20261m 49s
  More actions for workflow run 60

• audit: correct the third-add entry's sum to 13481e63

  completed successfully:
  soldeer-package#59:Commitd9bf9e3pushedbythedavidmeister
  2026-10-14-wei-floor-ceil-safe-side

  Oct 16, 20262m 0s
  More actions for workflow run 59