Skip to content
Test opam package

rust: Replaces return an empty tuple by nothing (void). (#1670) #664

Sign in to view logs

rust: Replaces return an empty tuple by nothing (void). (#1670)

rust: Replaces return an empty tuple by nothing (void). (#1670) #664

Triggered via push October 7, 2023 01:55
@JasonGrossJasonGross
pushed 6d981bc
master
Status Success
Total duration 2h 18m 13s
Artifacts –

coq-opam-package.yml

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

Annotations

2 notices
install (dev, 4.11.1, ubuntu-latest)
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
install (8.16.0, 4.11.1, ubuntu-latest)
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