Skip to content
Compile Agda and Deploy HTML

Example: Treap data structure #119

Sign in to view logs

Example: Treap data structure

Example: Treap data structure #119

Triggered via pull request November 10, 2023 15:37
@aricursionaricursion
synchronize #50
example/treap
Status Failure
Total duration 16s
Artifacts –

agda.yaml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build (v2.6.3, fc473ec905ab1a11a16718a7e8b628f1ab7eb435, 8.10.2, 3.4.0.0)
Process completed with exit code 127.
build (v2.6.3, fc473ec905ab1a11a16718a7e8b628f1ab7eb435, 8.10.2, 3.4.0.0)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/