kripke: add missing SPOT_API

* spot/kripke/kripke.hh: Here.
9 jobs for er/spot3 in 77 minutes and 46 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed alpine-gcc #92951

00:46:17

passed arch-clang #92952

00:53:33

passed arch-gcc-glibcxxdebug #92953

01:17:44

failed debian-gcc-snapshot #92950
allowed to fail

00:54:28

failed debian-stable-gcc #92948

00:29:12

failed debian-unstable-gcc-coverage #92949

00:13:29

passed mingw-shared #92954

00:09:20

passed mingw-static #92955

00:09:42

failed raspbian #92956
armv7

01:00:36

 
Name Stage Failure
failed
debian-stable-gcc Build
No job log
failed
debian-unstable-gcc-coverage Build
No job log
failed
debian-gcc-snapshot Build
No job log
failed
raspbian Build
No job log