index
:
ci.git
master
ci.tojo.tokyo の CI の設定
Masaya Tojo
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
jobs
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
263
log
plain
about
l---------
blackjack.develop.run
->
blackjack.run
13
log
plain
about
-rwxr-xr-x
blackjack.run
241
log
plain
about
l---------
bookshelf.develop.run
->
bookshelf.run
13
log
plain
about
-rwxr-xr-x
bookshelf.run
239
log
plain
about
-rwxr-xr-x
deploy-test-tojo-tokyo.run
165
log
plain
about
-rwxr-xr-x
deploy-www-tojo-tokyo.run
137
log
plain
about
-rwxr-xr-x
guix-gc.run
78
log
plain
about
-rw-r--r--
guix-update.conf
14
log
plain
about
-rwxr-xr-x
guix-update.run
96
log
plain
about
l---------
learn-acl2.develop.run
->
learn-acl2.run
14
log
plain
about
-rwxr-xr-x
learn-acl2.run
296
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
l---------
vikalpa.develop.run
->
vikalpa.run
11
log
plain
about
-rwxr-xr-x
vikalpa.run
233
log
plain
about