Code

Ci/ubuntu 20.04 GitHub action#5444

Code

Merged

hannes-steffenhagen-diffblue merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:CI/ubuntu-20.20-github-actionhannes-steffenhagen-diffblue/cbmc:CI/ubuntu-20.20-github-actionCopy head branch name to clipboard

Aug 19, 2020

Commits

Commits on Aug 18, 2020

• Add Github Actions CI for Ubuntu 20.20

  hannes-steffenhagen-diffblue

  committed
  e58dad8

  Copy full SHA for e58dad8