Check the Agda files

Merge pull request #4 from pmbittner/basic-ci #3

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push November 6, 2023 07:57

pmbittner

develop

Status Success

Total duration 16m 13s

Artifacts –

check.yml

on: push