Skip to content

Merge pull request #381 from mirage/terminal-dimensions #374

Merge pull request #381 from mirage/terminal-dimensions

Merge pull request #381 from mirage/terminal-dimensions #374

Triggered via push September 20, 2023 09:34
Status Success
Total duration 15m 20s
Artifacts

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

6 notices
build (ubuntu-latest, 4.13.x, alcotest alcotest-js alcotest-lwt alcotest-mirage, false, alcotest....
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 (ubuntu-latest, 4.11.x, alcotest alcotest-js alcotest-lwt alcotest-mirage, false, alcotest....
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 (ubuntu-latest, ., true, 5.0.x)
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 (ubuntu-latest, 4.12.x, alcotest alcotest-js alcotest-lwt alcotest-mirage, false, alcotest....
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 (ubuntu-latest, 4.09.x, alcotest alcotest-js alcotest-lwt alcotest-mirage, false, alcotest....
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 (ubuntu-latest, 4.10.x, alcotest alcotest-js alcotest-lwt alcotest-mirage, false, alcotest....
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