author | wenzelm |
Tue, 26 Jan 2021 22:46:06 +0100 | |
changeset 73193 | b8e12e94cfca |
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 |