Ignore missing packages in Github CI workflow

openshmem-org / specification

OpenSHMEM Application Programming Interface

http://www.openshmem.org

51 stars 40 forks source link

Ignore missing packages in Github CI workflow #464

Closed davidozog closed 3 years ago

davidozog commented 3 years ago

PR #449 has an error in the GitHub CI:

E: Unable to locate package texlive-generic-recommended

Looks like it's due to the ubuntu-latest image now being 20.04 (Focal), where this package is no longer available.

This fix one option: to ignore missing packages in apt-get update. Another option is to remove this package entirely, which I tested and seems to build the spec successfully. Any preference?

davidozog commented 3 years ago

Hmm... It looks like apt-get --ignore-missing doesn't work quite like I expected. Perhaps we need to just remove that package from the build.

davidozog commented 3 years ago

@jdinan - Do you mind if I merge this now?

jdinan commented 3 years ago

Sorry I missed this. Feel free to ping me directly if this happens again.