Whitespace

Bug in size preservation #2

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via pull request February 7, 2024 09:21

andreasabel

opened #2

agda:tbt

Status Success

Total duration 34s

Artifacts –

whitespace.yml

on: pull_request