aboutsummaryrefslogtreecommitdiff
path: root/jobs
ModeNameSize
-rwxr-xr-xacl2-theorems.before170logplain
l---------acl2-theorems.develop.before -> ./acl2-theorems.before22logplain
l---------acl2-theorems.develop.run -> ./acl2-theorems.run19logplain
-rwxr-xr-xacl2-theorems.run217logplain
-rwxr-xr-xacl2-verify.run263logplain
l---------blackjack.develop.run -> blackjack.run13logplain
-rwxr-xr-xblackjack.run241logplain
-rwxr-xr-xcheck-backup-of-email.run438logplain
-rwxr-xr-xcheck-backup-of-jupyter-notebook.run449logplain
-rwxr-xr-xcheck-backup-of-nextcloud.run442logplain
-rwxr-xr-xdeploy-test-tojo-tokyo.run278logplain
-rwxr-xr-xdeploy-www-tojo-tokyo.run250logplain
-rw-r--r--guix-update.conf14logplain
-rwxr-xr-xguix-update.run96logplain
-rwxr-xr-xpull-cfg.run72logplain
-rwxr-xr-xsicp-acl2.before166logplain
l---------sicp-acl2.develop.before -> ./sicp-acl2.before18logplain
l---------sicp-acl2.develop.run -> ./sicp-acl2.run15logplain
-rwxr-xr-xsicp-acl2.run217logplain
l---------standard-52-card-deck.develop.run -> standard-52-card-deck.run25logplain
-rwxr-xr-xstandard-52-card-deck.run227logplain
l---------vikalpa.develop.run -> vikalpa.run11logplain
-rwxr-xr-xvikalpa.run233logplain
generated by cgit v1.2.3 (git 2.44.0) at 2024-04-28 20:12:05 +0000