www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 3dfde60ac269bc97fbf193a5980efcff6fc23f36
parent bada6562827096090134275435c450a0265536de
Author: Suzanne Soy <jsmaniac.github@suzanne.soy>
Date:   Thu, 29 Jul 2021 01:54:43 +0100

debug

Diffstat:
M.github/workflows/ci.yml | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml @@ -118,7 +118,7 @@ jobs: - name: Generate docs #run: raco scribble ++main-xref-in --dest doc/phc-thesis --html --dest-name index --redirect-main http://download.racket-lang.org/releases/7.3/doc/ --redirect https://docs.racket-lang.org/local-redirect/index.html scribblings/phc-thesis.scrbl > html.log 2>&1 || (cat html.log && exit 1) run: | - while sleep 5; do (df -h; free -m; ls doc) || true; done & + for i in `seq 100`; do (df -h; free -m; find doc) || true; sleep 3; done & raco scribble --dest doc/phc-thesis --html --dest-name index --redirect-main http://download.racket-lang.org/releases/7.3/doc/ --redirect https://docs.racket-lang.org/local-redirect/index.html scribblings/phc-thesis.scrbl echo DONE - name: Generate PDF