agda 2.6.4 #122

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request December 9, 2023 18:08

banacorn

synchronize #22

agda-2.6.4

Status Success

Total duration 23m 17s

Artifacts –

test-mac.yaml

on: pull_request

Annotations

2 warnings

Cache save failed.

Cache save failed.