Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 14, 2022

• Merge pull request #5 from rse-ops/add/devenv

  Show description for 370cbeb
  vsoch

  authored
  370cbeb

  Copy full SHA for 370cbeb

• testing adding devenv - another option for nix environmnents

  Show description for d323d79
  vsoch

  committed
  d323d79

  Copy full SHA for d323d79

Commits on Nov 12, 2022

• Merge pull request #4 from rse-ops/add/devbox-allow-unfree

  Show description for bccf555
  vsoch

  authored
  bccf555

  Copy full SHA for bccf555

• allow unfree packages

  Show description for 4e3f463
  vsoch

  committed
  4e3f463

  Copy full SHA for 4e3f463

Commits on Nov 10, 2022

• add devbox build (#3)

  Show description for 25d7b93
  vsoch

  authored
  25d7b93

  Copy full SHA for 25d7b93

• try new approach with bases (#2)

  Show description for 40bac10
  vsoch

  authored
  40bac10

  Copy full SHA for 40bac10

Commits on Nov 9, 2022

• use github actor for login

  Show description for eb5aa77
  vsoch

  committed
  eb5aa77

  Copy full SHA for eb5aa77

• ensure builds happen

  Show description for a687a77
  vsoch

  committed
  a687a77

  Copy full SHA for a687a77

• adding build workflow (#1)

  Show description for f98b6cc
  vsoch

  authored
  f98b6cc

  Copy full SHA for f98b6cc

• adding first openmpi devbox

  Show description for 4c991ac
  vsoch

  committed
  4c991ac

  Copy full SHA for 4c991ac