Skip to content
.github/workflows/main.yml

Replace Bindlib by de Bruijn indices #2210

Sign in to view logs

Replace Bindlib by de Bruijn indices

Replace Bindlib by de Bruijn indices #2210

Triggered via pull request April 23, 2024 17:21
@fblanquifblanqui
synchronize #843
fblanqui:db
Status Success
Total duration 9m 48s
Artifacts 1

main.yml

on: pull_request
build_vscode_extension
20s
build_vscode_extension
Matrix: build_lambdapi
Fit to window
Zoom out
Zoom in

Annotations

9 notices
build_lambdapi (4.08.1)
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
build_lambdapi (4.09.1)
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
build_lambdapi (4.10.2)
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
build_lambdapi (4.12.1)
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
build_lambdapi (4.11.2)
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
build_lambdapi (5.1.1)
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
build_lambdapi (4.13.1)
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
build_lambdapi (5.0.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
build_lambdapi (4.14.1)
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

Artifacts

Produced during runtime
Name Size
assets-for-download Expired
2.54 MB