upgrade GH actions + test python 3.9 in addition to latest python

seL4 / capdl

Capability Distribution Language tools for seL4

https://sel4.systems

35 stars 45 forks source link

Closed lsf37 closed 1 year ago

lsf37 commented 1 year ago

https://github.com/seL4/capdl/pull/55 did most of what this PR initially tried to do. What is left is:

switch to official Haskell action for stack/ghc setup
explicitly add python 3.9 to the test, because that's the version in docker (but keep 3.x, i.e. latest python)

lsf37 commented 1 year ago

We should merge #55 first. After that I'll rework this one to just do the GitHub action version updates.

lsf37 commented 1 year ago

(commits will be squashed into one if people are happy with the final content)

lsf37 commented 1 year ago

(rebased)