author | wenzelm |
Sat, 28 Nov 2020 15:15:53 +0100 | |
changeset 72755 | 8dffbe01a3e1 |
parent 63143 | ef72b104fa32 |
permissions | -rw-r--r-- |
63143
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
1 |
#components required for the CI infrastructure |
ef72b104fa32
new Isabelle component for CI infastructure
Lars Hupel <lars.hupel@mytum.de>
parents:
diff
changeset
|
2 |
ci-extras-1 |