diff options
| l--------- | jobs/bookshelf.develop.run | 1 | ||||
| -rwxr-xr-x | jobs/bookshelf.run | 10 | ||||
| -rwxr-xr-x | jobs/check-backup-of-email.run | 11 | ||||
| -rwxr-xr-x | jobs/check-backup-of-jupyter-notebook.run | 11 | ||||
| -rwxr-xr-x | jobs/check-backup-of-nextcloud.run | 11 | ||||
| -rwxr-xr-x | jobs/deploy-test-tojo-tokyo.run | 2 | ||||
| -rwxr-xr-x | jobs/deploy-www-tojo-tokyo.run | 2 | ||||
| -rwxr-xr-x | jobs/guix-gc.run | 5 | ||||
| l--------- | jobs/learn-acl2.develop.run | 1 | ||||
| -rwxr-xr-x | jobs/learn-acl2.run | 13 |
10 files changed, 32 insertions, 35 deletions
diff --git a/jobs/bookshelf.develop.run b/jobs/bookshelf.develop.run new file mode 120000 index 0000000..40db22d --- /dev/null +++ b/jobs/bookshelf.develop.run @@ -0,0 +1 @@ +bookshelf.run
\ No newline at end of file diff --git a/jobs/bookshelf.run b/jobs/bookshelf.run new file mode 100755 index 0000000..757bad3 --- /dev/null +++ b/jobs/bookshelf.run @@ -0,0 +1,10 @@ +#!/usr/bin/env bash +set -euo pipefail + +git clone https://git.tojo.tokyo/bookshelf.git . +git checkout "${branch:-main}" +git log -n 1 +git submodule update -i -r +echo '---' + +guix environment --container --pure --ad-hoc sbcl make acl2 -- make diff --git a/jobs/check-backup-of-email.run b/jobs/check-backup-of-email.run deleted file mode 100755 index 67f4cf6..0000000 --- a/jobs/check-backup-of-email.run +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/env bash -set -euo pipefail - -todays_backup="s3://qkbackup/email/$(date "+%w")/" -echo "Check $todays_backup." -output="$(guix environment --ad-hoc python2-s3cmd -- s3cmd ls "$todays_backup")" - -# UTC の時刻で日付が当日の場合はバックアップに成功していると見做す -echo "$output" |\ - awk -v utc_today="$(TZ=UTC date "+%F")" \ - '$1 != utc_today && $3 > 0 { print "Failed!"; exit 1 } ; { print }' diff --git a/jobs/check-backup-of-jupyter-notebook.run b/jobs/check-backup-of-jupyter-notebook.run deleted file mode 100755 index 9a749f0..0000000 --- a/jobs/check-backup-of-jupyter-notebook.run +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/env bash -set -euo pipefail - -todays_backup="s3://qkbackup/jupyter-notebook/$(date "+%w")/" -echo "Check $todays_backup." -output="$(guix environment --ad-hoc python2-s3cmd -- s3cmd ls "$todays_backup")" - -# UTC の時刻で日付が当日の場合はバックアップに成功していると見做す -echo "$output" |\ - awk -v utc_today="$(TZ=UTC date "+%F")" \ - '$1 != utc_today && $3 > 0 { print "Failed!"; exit 1 } ; { print }' diff --git a/jobs/check-backup-of-nextcloud.run b/jobs/check-backup-of-nextcloud.run deleted file mode 100755 index 20effeb..0000000 --- a/jobs/check-backup-of-nextcloud.run +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/env bash -set -euo pipefail - -todays_backup="s3://qkbackup/nextcloud/$(date "+%w")/" -echo "Check $todays_backup." -output="$(guix environment --ad-hoc python2-s3cmd -- s3cmd ls "$todays_backup")" - -# UTC の時刻で日付が当日の場合はバックアップに成功していると見做す -echo "$output" |\ - awk -v utc_today="$(TZ=UTC date "+%F")" \ - '$1 != utc_today && $3 > 0 { print "Failed!"; exit 1 } ; { print }' diff --git a/jobs/deploy-test-tojo-tokyo.run b/jobs/deploy-test-tojo-tokyo.run index a2d7982..56b4886 100755 --- a/jobs/deploy-test-tojo-tokyo.run +++ b/jobs/deploy-test-tojo-tokyo.run @@ -3,4 +3,4 @@ set -euo pipefail git clone https://git.tojo.tokyo/www-tojo-tokyo.git . git checkout "develop" -guix environment --preserve="^GUIX_LOCPATH$" --expose="$GUIX_LOCPATH" --expose="$LAMINAR_HOME/.ssh" --container --network --pure -l guix.scm -- make deploy-test +guix environment -l guix.scm -- make deploy-test diff --git a/jobs/deploy-www-tojo-tokyo.run b/jobs/deploy-www-tojo-tokyo.run index 0e7c700..e952b01 100755 --- a/jobs/deploy-www-tojo-tokyo.run +++ b/jobs/deploy-www-tojo-tokyo.run @@ -2,4 +2,4 @@ set -euo pipefail git clone https://git.tojo.tokyo/www-tojo-tokyo.git . -guix environment --preserve="^GUIX_LOCPATH$" --expose="$GUIX_LOCPATH" --expose="$LAMINAR_HOME/.ssh" --container --network --pure -l guix.scm -- make deploy +guix environment -l guix.scm -- make deploy diff --git a/jobs/guix-gc.run b/jobs/guix-gc.run new file mode 100755 index 0000000..19f7aef --- /dev/null +++ b/jobs/guix-gc.run @@ -0,0 +1,5 @@ +#!/usr/bin/env bash +set -euo pipefail + +guix pull --delete-generations +guix gc diff --git a/jobs/learn-acl2.develop.run b/jobs/learn-acl2.develop.run new file mode 120000 index 0000000..e4b0c23 --- /dev/null +++ b/jobs/learn-acl2.develop.run @@ -0,0 +1 @@ +learn-acl2.run
\ No newline at end of file diff --git a/jobs/learn-acl2.run b/jobs/learn-acl2.run new file mode 100755 index 0000000..bdd3939 --- /dev/null +++ b/jobs/learn-acl2.run @@ -0,0 +1,13 @@ +#!/usr/bin/env bash +set -euo pipefail + +git clone https://git.tojo.tokyo/learn-acl2.git . +git checkout "${branch:-main}" + +for path in $(find -type f -name '*.lisp'); do + printf "%s\n " "${path#./}" + laminarc run acl2-verify path="$(pwd)/$path" + echo +done + +echo 'Verified all files!' |