Artiweb workflows #3102

Tests

• ❌ key.core.proof_references:test (87 succeeded, 2 failed)
• ❌ key.core.symbolic_execution:test (287 succeeded, 74 failed, 39 skipped)
• ✅ key.core:testProveRules (196 succeeded)
• ✅ key.core:testRunAllInfProofs (30 succeeded)