summaryrefslogtreecommitdiff
path: root/.github
Commit message (Collapse)AuthorAgeFilesLines
* Fix GitHub CI on Linux.Victor Costan2023-03-281-2/+3
| | | | | | | | | 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
* Switch CI to GitHub Actions.Victor Costan2021-09-021-0/+101
PiperOrigin-RevId: 394542401