Pin website workflows to ubuntu-20.04 #1181
Reference in New Issue
Block a user
No description provided.
Delete Branch "pin-ubuntu"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
The website build started failing with what looks like an incompatibility between nbind and a new libc++ version. GithHub is rolling out a new Ubuntu image, which is the likely culprit.
Pin to an older version of Ubuntu since nbind will never be updated, and we haven't replaced it yet.
@NickGerleman has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.
Pull request closed