ci: Use `ubuntu-20.04` in build (linux) for now.

cryspen / hacl-packages

The Cryspen HACL Distribution

https://cryspen.com/hacl-packages

Other

13 stars 18 forks source link

ci: Use `ubuntu-20.04` in build (linux) for now. #281

Closed duesee closed 1 year ago

duesee commented 1 year ago

The PR workflow already used ubuntu-22.04 latest (https://github.com/cryspen/hacl-packages/blob/main/.github/workflows/build_pull_request.yml#L22).

Hm... thinking about it... Should we change that to ubuntu-latest then?

franziskuskiefer commented 1 year ago

The PR workflow already used ubuntu-22.04 latest (https://github.com/cryspen/hacl-packages/blob/main/.github/workflows/build_pull_request.yml#L22).

Hm... thinking about it... Should we change that to ubuntu-latest then?

ah, right ... Indeed, we could move to latest there again.

coveralls commented 1 year ago

Pull Request Test Coverage Report for Build 3564273198

0 of 0 changed or added relevant lines in 0 files are covered.
No unchanged relevant lines lost coverage.
Overall coverage remained the same at 53.985%

Totals
Change from base Build 3549552403:	0.0%
Covered Lines:	33230
Relevant Lines:	61554

cryspen / hacl-packages

ci: Use `ubuntu-20.04` in build (linux) for now. #281

Pull Request Test Coverage Report for Build 3564273198

💛 - Coveralls