Skip to content
CI

feat: Add highligh.scm for Agda #402

Sign in to view logs

feat: Add highligh.scm for Agda

feat: Add highligh.scm for Agda #402

Triggered via pull request August 22, 2023 07:27
@jcs090218jcs090218
opened #201
jcs-PR:feat/agda
Status Failure
Total duration 48m 19s
Artifacts –

main.yml

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

Annotations

10 errors
ci (ubuntu-20.04, 27.2)
Process completed with exit code 255.
ci (ubuntu-20.04, 27.2)
Process completed with exit code 1.
ci (ubuntu-20.04, 28.2)
Process completed with exit code 1.
ci (ubuntu-20.04, 28.2)
Process completed with exit code 255.
ci (macos-12, 27.2)
Process completed with exit code 255.
ci (macos-12, 27.2)
Process completed with exit code 1.
ci (windows-2019, 27.2)
Process completed with exit code 1.
ci (windows-2019, 27.2)
Process completed with exit code 1.
ci (macos-12, 28.2)
Process completed with exit code 255.
ci (macos-12, 28.2)
Process completed with exit code 1.