Skip to content
Docker

Minor touch-up and updating paper references #25

Sign in to view logs

Minor touch-up and updating paper references

Minor touch-up and updating paper references #25

Triggered via pull request November 21, 2024 05:33
@PHart3PHart3
opened #6
touch_up
Status Success
Total duration 1h 14m 6s
Artifacts –

agda.yml

on: pull_request
build
1h 13m
build
Fit to window
Zoom out
Zoom in