Run CI only on pushes to develop

[vitusortner]

No description provided.

[codecov]

Codecov Report

Merging #463 (ae91992) into develop (00796ba) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff            @@
##           develop     #463   +/-   ##
========================================
  Coverage    83.40%   83.40%           
========================================
  Files           68       68           
  Lines         1687     1687           
========================================
  Hits          1407     1407           
  Misses         280      280           

Flag	Coverage Δ
floor	83.40% <ø> (ø)
floor_generator	83.29% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 00796ba...ae91992. Read the comment docs.