Repository navigation

Prototypes a new isolation interface - #266

Draft

miguelgondu wants to merge 7 commits into

devfrom

a-new-isolation-interface

Draft

Prototypes a new isolation interface#266
miguelgondu wants to merge 7 commits into
devfrom
a-new-isolation-interface

Commits on Oct 1, 2024
- Prototypes a new isolation interface
  miguelgondu
  committed
  7ff4f34
- Adds timeout to GitHub actions
  miguelgondu
  committed
  e998268
- Changes actions s.t. they don't run on drafts
  miguelgondu
  committed
  e24864e
- Brings changes from dev
  miguelgondu
  committed
  5b0d304
Commits on Oct 2, 2024