Code

Revert "deps: update"#677

Code

Merged

xerbalind merged 5 commits intomasterZeusWPI/zeus.ugent.be:masterfrom revert-deps-updateZeusWPI/zeus.ugent.be:revert-deps-updateCopy head branch name to clipboardNov 18, 2024

+81-126

Commits

Commits on Nov 15, 2024

• Revert "deps: update"

  Show description for 1ce40aa
  xerbalind

  committed
  1ce40aa

• Reapply "deps: update"

  Show description for 20c6770
  xerbalind

  committed
  20c6770

• update gemset

  xerbalind

  committed
  4756419

Commits on Nov 16, 2024

• update deps and submodules

  xerbalind

  committed
  e187afe

Commits on Nov 18, 2024

• Update embedded nixpkgs revision, make sure wrapped ruby is used

  chvp

  committed
  d3547bd