Code

[CI] Cleanup .github/ folder#5851

Code

Merged

NlightNFotis merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:cleanup_github_folderNlightNFotis/cbmc:cleanup_github_folderCopy head branch name to clipboard

Feb 23, 2021

Commits

Commits on Feb 21, 2021

• Remove extraneous files and folders from .github

  Show description for 47539fc
  

  Fotis Koutoulakis

  committed
  47539fc

  Copy full SHA for 47539fc

• Update github actions readme file.

  Show description for 7256821
  

  Fotis Koutoulakis

  committed
  7256821

  Copy full SHA for 7256821

Commits on Feb 23, 2021

• Rename some actions and add information on the CI platforms.

  Show description for 4daa686
  NlightNFotis

  committed
  4daa686

  Copy full SHA for 4daa686