Update lexical-core requirement from 0.8.5 to 1.0.1 #524
Triggered via pull request
September 16, 2024 11:58
Status
Success
Total duration
6h 0m 25s
Artifacts
–
formal_verification.yml
on: pull_request
Formal Verification
6h 0m
Annotations
1 error
Formal Verification
The job running on runner GitHub Actions 4 has exceeded the maximum execution time of 360 minutes.
|