Code

Swap around host device and net name#74

Code

Merged

reynir merged 4 commits intomainrobur-coop/mollymawk:mainfrom net-devicerobur-coop/mollymawk:net-deviceCopy head branch name to clipboardOct 21, 2024

+6-5

Commits

Commits on Oct 19, 2024

• Swap around host device and net name

  Show description for b6c3ebc
  

  reynir

  authored and

  hannesm

  committed
  b6c3ebc

  Copy full SHA for b6c3ebc

• adapt table headers

  hannesm

  committed
  03d10dd

  Copy full SHA for 03d10dd

• formatted code

  

  Automated ocamlformat GitHub action, developed by robur.coop

  committed
  3a4da00

  Copy full SHA for 3a4da00

• minor fix

  hannesm

  committed
  eb509d8

  Copy full SHA for eb509d8