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

Mode	Name	Size
-rwxr-xr-x	acl2-theorems.before	170	log plain
l---------	acl2-theorems.develop.before -> ./acl2-theorems.before	22	log plain
l---------	acl2-theorems.develop.run -> ./acl2-theorems.run	19	log plain
-rwxr-xr-x	acl2-theorems.run	217	log plain
-rwxr-xr-x	acl2-verify.run	263	log plain
l---------	blackjack.develop.run -> blackjack.run	13	log plain
-rwxr-xr-x	blackjack.run	241	log plain
l---------	bookshelf.develop.run -> bookshelf.run	13	log plain
-rwxr-xr-x	bookshelf.run	239	log plain
-rwxr-xr-x	deploy-test-tojo-tokyo.run	165	log plain
-rwxr-xr-x	deploy-www-tojo-tokyo.run	137	log plain
-rwxr-xr-x	guix-gc.run	78	log plain
-rw-r--r--	guix-update.conf	14	log plain
-rwxr-xr-x	guix-update.run	96	log plain
l---------	learn-acl2.develop.run -> learn-acl2.run	14	log plain
-rwxr-xr-x	learn-acl2.run	294	log plain
-rwxr-xr-x	pull-cfg.run	72	log plain
-rwxr-xr-x	sicp-acl2.before	166	log plain
l---------	sicp-acl2.develop.before -> ./sicp-acl2.before	18	log plain
l---------	sicp-acl2.develop.run -> ./sicp-acl2.run	15	log plain
-rwxr-xr-x	sicp-acl2.run	217	log plain
l---------	standard-52-card-deck.develop.run -> standard-52-card-deck.run	25	log plain
-rwxr-xr-x	standard-52-card-deck.run	227	log plain
l---------	vikalpa.develop.run -> vikalpa.run	11	log plain
-rwxr-xr-x	vikalpa.run	233	log plain