Code

workflow: fix xen#4

Code

Open

nmanthey wants to merge 17 commits intodevelopnmanthey/cbmc:developfrom test2nmanthey/cbmc:test2Copy head branch name to clipboard

+75-27

Commits

Commits on Sep 7, 2020

• cbmc: test compile Xen

  Show description for 63237ae
  nmanthey

  committed
  63237ae

Commits on Sep 8, 2020

• workflows: check xen on PR

  Show description for 6f13454
  nmanthey

  committed
  6f13454

• Merge pull request #1 from nmanthey/xen-compiled

  Show description for 5828d31
  nmanthey

  authored
  5828d31

• README: add a space

  nmanthey

  committed
  01702e9

• rename workflow file

  Show description for a0e41e1
  nmanthey

  committed
  a0e41e1

• workflows: extend PR

  Show description for a482270
  nmanthey

  committed
  a482270

• Merge pull request #3 from nmanthey/test

  Show description for 4d8b672
  nmanthey

  authored
  4d8b672

Commits on Sep 9, 2020

• workflow: fix xen

  nmanthey

  committed
  a6ed247

Commits on Sep 25, 2020

• trigger again

  Show description for a4dfdf7
  nmanthey

  committed
  a4dfdf7

• split steps more

  Show description for b8407e1
  nmanthey

  committed
  b8407e1

• improve ls, use plain for checking

  Show description for 7a1590e
  nmanthey

  committed
  7a1590e

• use full path for PATH

  Show description for 816d9e0
  nmanthey

  committed
  816d9e0

Commits on Sep 28, 2020

• check tools explicitly

  Show description for a9996d3
  nmanthey

  committed
  a9996d3

• fix links

  Show description for 56826a9
  nmanthey

  committed
  56826a9

Commits on Sep 29, 2020

• fix build command

  Show description for 0b2e3fb
  nmanthey

  committed
  0b2e3fb

• use actual xen repository

  Show description for c036788
  nmanthey

  committed
  c036788

• make change production like

  Show description for ff60774
  nmanthey

  committed
  ff60774