Skip to content
Main workflow

Further modifications to rate limiter - removing event #486

Sign in to view logs

Further modifications to rate limiter - removing event

Further modifications to rate limiter - removing event #486

Triggered via push October 8, 2023 15:14
@levirothleviroth
pushed e6e38c5
rate-limiter-rewrite
Status Success
Total duration 23m 30s
Artifacts –

workflow.yml

on: push
build
17m 19s
build
lint-doc
19m 34s
lint-doc
lint-fmt
14m 38s
lint-fmt
lint-opam
23m 22s
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