Docker

Merge pull request #1 from PHart3/clean-up #12

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push October 8, 2024 03:23

PHart3

main

Status Success

Total duration 56m 20s

Artifacts –

agda.yml

on: push