Code

Try to integrate a CI#1

Code

Merged

dinosaure merged 9 commits intomainrobur-coop/qubes-miragevpn:mainfrom cirobur-coop/qubes-miragevpn:ciCopy head branch name to clipboardJun 13, 2024

+140-9

Commits

Commits on Jun 4, 2024

• Try to integrate a CI

  dinosaure

  committed
  22be4f6

  Copy full SHA for 22be4f6

Commits on Jun 5, 2024

• update build system

  palainp

  committed
  135ed50

  Copy full SHA for 135ed50

• fix compilation

  palainp

  committed
  e6b846b

  Copy full SHA for e6b846b

• update workflows

  palainp

  committed
  34add62

  Copy full SHA for 34add62

Commits on Jun 6, 2024

• Patches are merged on miragevpn and mirage-qubes, we don't need to use a specific branch for them to build the unikernel

  dinosaure

  committed
  ea1a474

  Copy full SHA for ea1a474

• Better to add pin into the Dockerfile

  dinosaure

  committed
  23059f6

  Copy full SHA for 23059f6

Commits on Jun 9, 2024

• update opam-repository, opam version, add xz-utils for gmp

  palainp

  committed
  d34cb78

  Copy full SHA for d34cb78

Commits on Jun 10, 2024

• update hashsum and github action scripts

  palainp

  committed
  2bfa30a

  Copy full SHA for 2bfa30a

Commits on Jun 13, 2024

• Merge pull request #2 from palainp/update

  Show description for d264e5a
  dinosaure

  authored
  d264e5a

  Copy full SHA for d264e5a