Check the Agda files

do not show tikz export of talk sandwich #312

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push March 23, 2025 13:39

pmbittner

develop

Status Success

Total duration 3m 8s

Artifacts –

check.yml

on: push

Annotations

1 warning

Cache save failed.