2 Commits

Author	SHA1	Message	Date
Victor Costan	77d66aaf3e	Fix GitHub CI on Linux. ... This PR temporarily removes a package that is currently broken on GitHub's Ubuntu 22.04 installation. This is the most expedient way to make the CI green again, so we can test any other changes we may want to land. PiperOrigin-RevId: 520206940	2023-03-28 20:17:54 -07:00
Victor Costan	5783a79309	Switch CI to GitHub Actions. ... PiperOrigin-RevId: 394542401	2021-09-02 21:33:50 +00:00