Skip to content

[ ttc ] Compare modification time with nanosecond precision #3283

[ ttc ] Compare modification time with nanosecond precision

[ ttc ] Compare modification time with nanosecond precision #3283

Triggered via pull request August 29, 2023 19:43
Status Cancelled
Total duration 6m 23s
Artifacts

ci-idris2.yml

on: pull_request
initialise
5s
initialise
ubuntu-self-host-previous-version
0s
ubuntu-self-host-previous-version
macos-bootstrap-chez
0s
macos-bootstrap-chez
ubuntu-bootstrap-chez
0s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
0s
ubuntu-bootstrap-racket
windows-bootstrap-chez
0s
windows-bootstrap-chez
nix-bootstrap-chez
0s
nix-bootstrap-chez
ubuntu-test-collie
0s
ubuntu-test-collie
ubuntu-test-frex
0s
ubuntu-test-frex
ubuntu-test-elab
0s
ubuntu-test-elab
macos-self-host-chez
0s
macos-self-host-chez
ubuntu-self-host-chez
0s
ubuntu-self-host-chez
ubuntu-build-api
0s
ubuntu-build-api
ubuntu-self-host-racket
0s
ubuntu-self-host-racket
windows-self-host-racket
0s
windows-self-host-racket
ubuntu-katla
0s
ubuntu-katla
Fit to window
Zoom out
Zoom in

Annotations

2 errors
quick-check
Canceling since a higher priority waiting request for 'refs/pull/3046/merge' exists
quick-check
The operation was canceled.