Minor fixes to Truncations/Core, Ideal, Bool, Empty #2997
jdchristensenci.yml
on: pull_request
Matrix: coqchk
Matrix: install
doc-alectryon
15m 50s
doc-dep-graphs
7m 32s
doc-coqdoc
1m 32s
doc-timing
4m 47s
delete-artifacts
7s
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']
|
|
doc-timing
Failed to download action 'https://api.github.com/repos/actions/download-artifact/tarball/fa0a91b85d4f404e444e00e005971372dc801d16'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
doc-timing
Back off 22.532 seconds before retry.
|