Skip to content
Users workflow

New backend (elpi 2.0) #85

Sign in to view logs

New backend (elpi 2.0)

New backend (elpi 2.0) #85

Triggered via pull request October 15, 2024 12:12
@garesgares
synchronize #269
scoped-term
Status Failure
Total duration 6m 26s
Artifacts –

users.yml

on: pull_request
test users
6m 15s
test users
Fit to window
Zoom out
Zoom in

Annotations

1 error
test users
Process completed with exit code 31.