author | wenzelm |
Sun, 14 Feb 2021 15:40:38 +0100 | |
changeset 73249 | 24494191e058 |
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 |