aboutsummaryrefslogtreecommitdiff
path: root/jobs
ModeNameSize
-rwxr-xr-xacl2-theorems.before170logplainabout
l---------acl2-theorems.develop.before -> ./acl2-theorems.before22logplainabout
l---------acl2-theorems.develop.run -> ./acl2-theorems.run19logplainabout
-rwxr-xr-xacl2-theorems.run217logplainabout
-rwxr-xr-xacl2-verify.run263logplainabout
l---------blackjack.develop.run -> blackjack.run13logplainabout
-rwxr-xr-xblackjack.run241logplainabout
-rwxr-xr-xcheck-backup-of-email.run438logplainabout
-rwxr-xr-xcheck-backup-of-jupyter-notebook.run449logplainabout
-rwxr-xr-xcheck-backup-of-nextcloud.run442logplainabout
-rwxr-xr-xdeploy-test-tojo-tokyo.run278logplainabout
-rwxr-xr-xdeploy-www-tojo-tokyo.run250logplainabout
-rw-r--r--guix-update.conf14logplainabout
-rwxr-xr-xguix-update.run96logplainabout
-rwxr-xr-xpull-cfg.run72logplainabout
-rwxr-xr-xsicp-acl2.before166logplainabout
l---------sicp-acl2.develop.before -> ./sicp-acl2.before18logplainabout
l---------sicp-acl2.develop.run -> ./sicp-acl2.run15logplainabout
-rwxr-xr-xsicp-acl2.run217logplainabout
l---------standard-52-card-deck.develop.run -> standard-52-card-deck.run25logplainabout
-rwxr-xr-xstandard-52-card-deck.run227logplainabout
-rwxr-xr-xvikalpa.run195logplainabout
generated by cgit v1.2.3 (git 2.46.0) at 2024-12-26 15:56:53 +0000