Merge branch 'master' of https://github.com/leanprover-community/flt-… #232
CBirkbeckAnnotations
2 errors
|
Build project
Canceling since a higher priority waiting request for '.github/workflows/push.yml-refs/heads/master' exists
|
|
Build project
The operation was canceled.
|