Matrix: use strip_reflections to avoid extra universe variables #2995
jdchristensenci.yml
on: pull_request
Matrix: coqchk
Matrix: install
doc-alectryon
15m 3s
doc-dep-graphs
7m 41s
doc-coqdoc
1m 28s
doc-timing
1m 42s
delete-artifacts
6s
Annotations
3 warnings
|
nix
Unexpected input(s) 'name', 'authToken', 'extraPullNames', valid inputs are ['extra_nix_config', 'github_access_token', 'install_url', 'install_options', 'nix_path']
|
|
opam-build (supported, ubuntu-latest)
Failed to download action 'https://api.github.com/repos/coq-community/docker-coq-action/tarball/7c98410bb26905e003d5b5ed964d91e6c87c35ae'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
opam-build (supported, ubuntu-latest)
Back off 22.496 seconds before retry.
|