Code

update summit proofcraft presenter#404

Code

Merged

bbrcknl merged 2 commits intomasterseL4/website:masterfrom update_summit_speakersseL4/website:update_summit_speakersCopy head branch name to clipboardSep 24, 2024

+1-1

Commits

Commits on Sep 22, 2024

• update summit proofcraft presenter

  Show description for ebe1322
  bbrcknl

  committed
  ebe1322

Commits on Sep 24, 2024

• Merge branch 'master' into update_summit_speakers

  bbrcknl

  authored
  88691a6