Skip to content
Compile Agda and Deploy HTML

Example: Treap data structure #127

Sign in to view logs

Example: Treap data structure

Example: Treap data structure #127

Triggered via pull request November 28, 2023 03:30
@aricursionaricursion
synchronize #50
example/treap
Status Failure
Total duration 14s
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/