Code

Workaround extraction issues#139

Code

Merged

jschneider-bensch merged 5 commits intokey-schedule-securitycryspen/bertie:key-schedule-securityfrom jonas/proverif-key-schedulecryspen/bertie:jonas/proverif-key-scheduleCopy head branch name to clipboardFeb 12, 2025

+68-70

Commits

Commits on Feb 11, 2025

• Workaround extraction issues

  jschneider-bensch

  committed
  9a3b214

  Copy full SHA for 9a3b214

• update actions

  franziskuskiefer

  authored
  072eca8

  Copy full SHA for 072eca8

• cargo fmt

  jschneider-bensch

  committed
  3a0de9f

  Copy full SHA for 3a0de9f

Commits on Feb 12, 2025

• Update nix flake to main branch state

  jschneider-bensch

  committed
  760e9bf

  Copy full SHA for 760e9bf

• Remove nix workflow

  jschneider-bensch

  committed
  02cd040

  Copy full SHA for 02cd040