Skip to content
Compile Agda and Deploy HTML

Example: Joinable Red Black Tree in Decalf #122

Sign in to view logs

Example: Joinable Red Black Tree in Decalf

Example: Joinable Red Black Tree in Decalf #122

Re-run triggered November 20, 2023 05:30
@runminglrunmingl
#51
example/rbt-decalf
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/