Build #1,025

Plan branch:

Build: #1025 was successful Scheduled with changes by Ulf Rueegg <uru@informatik.uni-kiel.de>

Stages & jobs

  1. Default Stage

  2. Deploy

Build result summary

Details

Completed
Duration
6 minutes
Labels
None
Revision
8c8c871aaa6f426a83c723f2bbf01ce126ecce0c 8c8c871aaa6f426a83c723f2bbf01ce126ecce0c
Successful since
#955 ()

Code commits

Author Commit Message Commit date
Ulf Rueegg <uru@informatik.uni-kiel.de> Ulf Rueegg <uru@informatik.uni-kiel.de> 8c8c871aaa6f426a83c723f2bbf01ce126ecce0c 8c8c871aaa6f426a83c723f2bbf01ce126ecce0c formats.kgraph: avoid creating empty edge sections