Skip to content
Deploy PLT www

agda Setup #43

Sign in to view logs

agda Setup

agda Setup #43

Triggered via pull request October 24, 2023 22:58
@andreasabelandreasabel
opened #2
agda-Setup
Status Success
Total duration 1m 17s
Artifacts –

deploy.yml

on: pull_request
build
1m 8s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in