Skip to content

[ ttc ] Compare modification time with nanosecond precision #3287

[ ttc ] Compare modification time with nanosecond precision

[ ttc ] Compare modification time with nanosecond precision #3287

Triggered via pull request August 30, 2023 09:41
Status Cancelled
Total duration 20m 9s
Artifacts 1

ci-idris2.yml

on: pull_request
initialise
7s
initialise
ubuntu-self-host-previous-version
7m 51s
ubuntu-self-host-previous-version
macos-bootstrap-chez
7m 48s
macos-bootstrap-chez
ubuntu-bootstrap-chez
7m 53s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
7m 51s
ubuntu-bootstrap-racket
windows-bootstrap-chez
3m 58s
windows-bootstrap-chez
nix-bootstrap-chez
7m 53s
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

11 errors
windows-bootstrap-chez
Process completed with exit code 1.
ubuntu-self-host-previous-version
Canceling since a higher priority waiting request for 'refs/pull/3046/merge' exists
ubuntu-self-host-previous-version
The operation was canceled.
ubuntu-bootstrap-racket
Canceling since a higher priority waiting request for 'refs/pull/3046/merge' exists
ubuntu-bootstrap-racket
The operation was canceled.
ubuntu-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/pull/3046/merge' exists
ubuntu-bootstrap-chez
The operation was canceled.
nix-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/pull/3046/merge' exists
nix-bootstrap-chez
The operation was canceled.
macos-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/pull/3046/merge' exists
macos-bootstrap-chez
The operation was canceled.

Artifacts

Produced during runtime
Name Size
ubuntu-installed-idris2-0.6.0-chez Expired
172 MB