Skip to content

Sync local commits to main #881

Sync local commits to main

Sync local commits to main #881

Triggered via pull request July 23, 2026 18:03
Status Cancelled
Total duration 30m 21s
Artifacts

agda.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

4 errors
check
The job has exceeded the maximum execution time of 30m0s
check
The operation was canceled.
cold-check
The job has exceeded the maximum execution time of 30m0s
cold-check
The operation was canceled.