Skip to content
Compile Agda and Deploy HTML

neg-id #810

Sign in to view logs

neg-id

neg-id #810

Triggered via push February 1, 2024 07:55
@oisdkoisdk
pushed 80ae397
master
Status Failure
Total duration 1m 58s
Artifacts –

compile.yaml

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

Annotations

1 error and 2 warnings
build (v0.6, v0.2, 2.6.4)
Process completed with exit code 1.
build (v0.6, v0.2, 2.6.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: wenkokke/[email protected], actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (v0.6, v0.2, 2.6.4)
Error: Rejected distribution for Agda 2.6.4 at https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-ubuntu-22.04-ghc9.6.3-icu70.1.zip: Command failed with exit code 1: /tmp/tmp-1718-n0tTk9hzgahM/bin/agda --version /tmp/tmp-1718-n0tTk9hzgahM/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by /tmp/tmp-1718-n0tTk9hzgahM/bin/agda) /tmp/tmp-1718-n0tTk9hzgahM/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.32' not found (required by /tmp/tmp-1718-n0tTk9hzgahM/bin/agda) /tmp/tmp-1718-n0tTk9hzgahM/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.33' not found (required by /tmp/tmp-1718-n0tTk9hzgahM/bin/agda) /tmp/tmp-1718-n0tTk9hzgahM/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.33' not found (required by /tmp/tmp-1718-n0tTk9hzgahM/bin/../lib/agda-2.6.4-libicuuc.so.70.1) /tmp/tmp-1718-n0tTk9hzgahM/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by /tmp/tmp-1718-n0tTk9hzgahM/bin/../lib/agda-2.6.4-libicuuc.so.70.1)