Skip to content
.github/workflows/main.yml

fix dg computation #172

Sign in to view logs

fix dg computation

fix dg computation #172

Triggered via pull request October 12, 2023 16:06
@fblanquifblanqui
opened #43
fblanqui:dg
Status Success
Total duration 14m 25s
Artifacts –

main.yml

on: pull_request
Matrix: hol-light-to-dedukti
Fit to window
Zoom out
Zoom in

Annotations

1 notice
hol-light-to-dedukti (4.14.1, 8.00.05, 2.7, master, 3.7.0)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100