1. eb2b903 export CARAVEL_ROOT in CI by manarabdelaty · 4 years ago
  2. 7ad767e [CI] Add check for running xor-wrapper target by manarabdelaty · 4 years ago
  3. b5548c4 [CI] Run make ship and make set user id by manarabdelaty · 4 years ago
  4. 71c0e0a [CI] Added job for running dv and splitted precheck to two jobs by manarabdelaty · 4 years ago
  5. 562499c Remove simulation CI by agorararmard · 4 years ago
  6. e49431b Add info.yaml by agorararmard · 4 years ago
  7. b5367e2 Add Github Actions CI by agorararmard · 4 years ago