Skip to content

reduce startup time by storing the parikh map #1288

reduce startup time by storing the parikh map

reduce startup time by storing the parikh map #1288

Triggered via push October 9, 2024 07:11
Status Failure
Total duration 6h 0m 29s
Artifacts

main.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
The job running on runner GitHub Actions 21 has exceeded the maximum execution time of 360 minutes.
build
The operation was canceled.