Code

New Global search#42

Code

Merged

jdhoffa merged 7 commits intoRMI-PACTA:mainRMI-PACTA/pactaverse:mainfrom maurolepore:global-searchmaurolepore/pactaverse:global-searchCopy head branch name to clipboardNov 27, 2024

+51

Commits

Commits on Nov 25, 2024

• New Global search

  maurolepore

  committed
  3f1590e

• Polish

  maurolepore

  committed
  8edd82c

Commits on Nov 26, 2024

• A bit more readable

  maurolepore

  committed
  ab547c6

• Style

  maurolepore

  committed
  603b294

• Use relative path

  maurolepore

  committed
  e6a3fdf

• Suggest dverse and DT to avoid build failure on GH Actions

  maurolepore

  committed
  7758881

Commits on Nov 27, 2024

• Merge branch 'main' into global-search

  jdhoffa

  authored
  217d7ed