From d2849185542706f5283c27161260f15db27e55cb Mon Sep 17 00:00:00 2001 From: Alexander Medvednikov Date: Sun, 7 Feb 2021 03:35:22 +0100 Subject: [PATCH] tools/fast: push changes to gh pages --- cmd/tools/fast/fast_job.v | 1 + 1 file changed, 1 insertion(+) diff --git a/cmd/tools/fast/fast_job.v b/cmd/tools/fast/fast_job.v index f63e1a013d..5c8c3c927c 100644 --- a/cmd/tools/fast/fast_job.v +++ b/cmd/tools/fast/fast_job.v @@ -33,6 +33,7 @@ fn main() { os.exec('git checkout gh-pages') ? os.cp('../index.html', 'index.html') ? os.system('git commit -am "update benchmark"') + os.system('git push origin gh-pages') os.chdir('..') } println('sleeping 20')