Cardano Updates

From https://github.com/input-output-hk/lmdb-simple at 40de38590dfb5538f9b7a37b1f52f760654289d4

Fix docs deployment plus prettyfying

- also rename jeprof output files

Signed-off-by: jeluard <[email protected]>

* mithril-stm from `0.9.18` to `0.9.19`

Co-authored-by: hjeljeli32 <[email protected]>

* chore: bump tracer-sidecar image to 4da4d4e

Picks up the fix for cardano-node 10.6.2 host field
without .example domain suffix.

* fix: run smoke test after publish-images completes

The smoke test needs custom images to be pushed to GHCR first.
Use workflow_run trigger instead of pull_request so it waits for
the publish-images workflow to finish.

The smoke test needs custom images to be pushed to GHCR first.
Use workflow_run trigger instead of pull_request so it waits for
the publish-images workflow to finish.

This refactors the fetching logic to keep less state and instead use the
`LeiosDemoDb` to filter `LeiosOutstanding` work.

This works now and I suggest using this for the demo on wednesday.

Still TODO: rid of the global MVar lock by having a connection per
thread (again), also enabling WAL mode.

Signed-off-by: Sasha Bogicevic <[email protected]>

Signed-off-by: Sasha Bogicevic <[email protected]>

Signed-off-by: Sasha Bogicevic <[email protected]>

Signed-off-by: Sasha Bogicevic <[email protected]>

Signed-off-by: Sasha Bogicevic <[email protected]>