projects / tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd6c6f7) | patch
Add a run-checker job that uses the no-cached-fetch option.
authorPauli <ppzgs1@gmail.com>
Wed, 10 Feb 2021 12:09:19 +0000 (22:09 +1000)
committerPauli <ppzgs1@gmail.com>
Wed, 10 Feb 2021 12:12:26 +0000 (22:12 +1000)
commitaf3ebdeb6cc591cf92a3790ae091a11bf8da7e9a
tree8ce28948af6420f764bec469d418a70694c037actree | snapshot
parentbd6c6f78c080744a0092f04c04b7a38121ddcff3commit | diff
Add a run-checker job that uses the no-cached-fetch option.

This cannot be merged until after #14126 is.

Reviewed-by: Matt Caswell <matt@openssl.org>
Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from https://github.com/openssl/tools/pull/82)
run-checker/run-checker.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.