Skip to content
Main workflow

Rate limiter: clear up remaining todos #487

Sign in to view logs

Rate limiter: clear up remaining todos

Rate limiter: clear up remaining todos #487

Triggered via push January 13, 2024 17:19
@levirothleviroth
pushed 55c9ccb
rate-limiter-rewrite
Status Success
Total duration 10m 49s
Artifacts –

workflow.yml

on: push
build
9m 53s
build
lint-doc
10m 5s
lint-doc
lint-fmt
7m 54s
lint-fmt
lint-opam
10m 40s
lint-opam
Fit to window
Zoom out
Zoom in

Annotations

4 notices
lint-fmt
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
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
lint-doc
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
lint-opam
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