Code

Add a basic GitHub Actions CI script#20

Code

Merged

PeterRugg merged 6 commits intomasterCTSRD-CHERI/QuickCheckVEngine:masterfrom github-ciCTSRD-CHERI/QuickCheckVEngine:github-ciCopy head branch name to clipboardApr 16, 2024

+71-32

Commits

Commits on Feb 2, 2023

• Update stack to 20.9 LTS

  arichardson

  committed
  3a64405

  Copy full SHA for 3a64405

• Allow using weeder

  arichardson

  committed
  d9759b7

  Copy full SHA for d9759b7

• Add a basic GitHub Actions CI script

  Show description for 985ace4
  arichardson

  committed
  985ace4

  Copy full SHA for 985ace4

• Silence a few unused bindings in InstrCodecs.hs

  arichardson

  committed
  a55e3ff

  Copy full SHA for a55e3ff

Commits on Apr 16, 2024

• Merge branch master into github-ci

  gameboo

  committed
  c1e75e1

  Copy full SHA for c1e75e1

• removed weeder steps and added a build step to the ci script

  gameboo

  committed
  3c1cd48

  Copy full SHA for 3c1cd48