BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
256 stars 91 forks source link

fix: add dependency installation step for ubuntu runners needed for pygame version bump #284

Closed abanuelo closed 1 week ago

abanuelo commented 1 week ago

Description

PyGame recently bumped to version 2.6.0 https://pypi.org/project/pygame/2.6.0/, introducing some breaking changes for our CI. To resolve, we have an extra step that is ubuntu-specific to install necessary dependencies! Fix reported here: https://github.com/pygame/pygame/issues/4275

Issue Link

Checklist

Additional Notes

codecov[bot] commented 1 week ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 91.28%. Comparing base (d7679fb) to head (e46058c).

Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/284/graphs/tree.svg?width=650&height=150&src=pr&token=HN3J4Y6F89&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify)](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/284?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify) ```diff @@ Coverage Diff @@ ## main #284 +/- ## ========================================== - Coverage 91.32% 91.28% -0.04% ========================================== Files 54 54 Lines 13515 13513 -2 ========================================== - Hits 12343 12336 -7 - Misses 1172 1177 +5 ``` [see 6 files with indirect coverage changes](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/284/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify)
abanuelo commented 1 week ago

Closing this PR as it seems that there was a corruption in the Linux X86 binary for Pygame's latest release that has been resolved: https://github.com/pygame/pygame/issues/4275#issuecomment-2190782101