Added "Axiom" and "Assumption" theorem environments and spanish translations for them. #708
SrShelotest-ff-matrix.yml
on: pull_request
Matrix: Run feature-format matrix / run-smokes
Annotations
4 warnings and 1 notice
|
Run feature-format matrix / Run smoke (ubuntu-latest)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0XwibaAAAAAA6WHOYE/kARr0sOUqfFUKTUEFPRURHRTA1MTcARWRnZQ==
|
|
Run feature-format matrix / Run smoke (ubuntu-latest)
Failed to restore: Cache service responded with 400
|
|
Run feature-format matrix / Run smoke (windows-latest)
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0iwmbaAAAAAAP1GdBpycrRLu0a+Hp6iZ4UEhYMzFFREdFMDIxOQBFZGdl
|
|
Run feature-format matrix / Run smoke (windows-latest)
Failed to restore: Cache service responded with 400
|
|
Run feature-format matrix / Run smoke (windows-latest)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
|