Skip to content
Users workflow

New backend (elpi 2.0) #150

Sign in to view logs

New backend (elpi 2.0)

New backend (elpi 2.0) #150

Triggered via pull request November 21, 2024 09:40
@garesgares
synchronize #269
scoped-term
Status Success
Total duration 16m 8s
Artifacts –

users.yml

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