Skip to content

fix exp command (#46) #186

fix exp command (#46)

fix exp command (#46) #186

Triggered via push October 17, 2023 19:44
Status Success
Total duration 16m 37s
Artifacts

main.yml

on: push
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