diff options
| author | Tilman Vatteroth | 2020-11-26 21:21:12 +0100 |
|---|---|---|
| committer | Tilman Vatteroth | 2020-11-26 21:22:03 +0100 |
| commit | 9fb5dbbd2205035356fe1d82ba6645c2a74e11f8 (patch) | |
| tree | 140f4ef4fb1a411de91ac0d9d321ae60d8b7cafa /lib | |
| parent | 66ad73d853d15423c63b823102931b35ef93722a (diff) | |
Limit CI runs to pushes to master and pull requests against master
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions