Skip to content
Test

Prompt to commit & push #846

Sign in to view logs

Prompt to commit & push

Prompt to commit & push #846

Triggered via pull request July 27, 2023 15:48
@mattpolzinmattpolzin
synchronize #89
prompt-to-push
Status Success
Total duration 2m 20s
Artifacts –

test.yml

on: pull_request
stable-idris
2m 10s
stable-idris
nightly-idris
1m 47s
nightly-idris
Fit to window
Zoom out
Zoom in