github-repos/leveldb
1
0
Fork 0
mirror of https://github.com/google/leveldb.git synced 2026-08-18 10:33:27 +08:00
Code Issues Packages Projects Releases Wiki Activity
432 Commits 3 Branches 21 Tags
77d66aaf3edd6db0f1bfb4308fdc68c62fcc7bf6
Commit Graph

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