Tracking issue for improving test coverage of the action

[danielsn]

Currently, we only test a single small cago-kani example. Possible improvements

• Example that needs workspace
• Example that needs --tests
• example that has dependencies
• example where the rust version matters
• examples with different kani versions

[YoshikiTakashima]

I would also add

• expected fail tests