jobs - ci.git - ci.tojo.tokyo の CI の設定

Mode	Name	Size
-rwxr-xr-x	acl2-theorems.before	170	log plain about
l---------	acl2-theorems.develop.before -> ./acl2-theorems.before	22	log plain about
l---------	acl2-theorems.develop.run -> ./acl2-theorems.run	19	log plain about
-rwxr-xr-x	acl2-theorems.run	217	log plain about
-rwxr-xr-x	acl2-verify.run	429	log plain about
l---------	blackjack.develop.run -> blackjack.run	13	log plain about
-rwxr-xr-x	blackjack.run	241	log plain about
-rwxr-xr-x	build-acl2.run	55	log plain about
-rwxr-xr-x	deploy-test-tojo-tokyo.run	278	log plain about
-rwxr-xr-x	deploy-www-tojo-tokyo.run	250	log plain about
-rwxr-xr-x	guix-operate.run	56	log plain about
-rwxr-xr-x	guix-update.run	183	log plain about
-rwxr-xr-x	pull-cfg.run	72	log plain about
-rwxr-xr-x	sicp-acl2.before	166	log plain about
l---------	sicp-acl2.develop.before -> ./sicp-acl2.before	18	log plain about
l---------	sicp-acl2.develop.run -> ./sicp-acl2.run	15	log plain about
-rwxr-xr-x	sicp-acl2.run	217	log plain about
l---------	standard-52-card-deck.develop.run -> standard-52-card-deck.run	25	log plain about
-rwxr-xr-x	standard-52-card-deck.run	227	log plain about