Commit 9015e478 authored by Andreas Werner's avatar Andreas Werner
Browse files

CI: Skip Frama-C Version 23.1, WP is broken

parent d0538bc4
......@@ -54,10 +54,6 @@ proof:
<<: *proof_definition
image: framac/frama-c:22.0
proof-23:
<<: *proof_definition
image: framac/frama-c:23.1
proof-dev:
<<: *proof_definition
image: framac/frama-c:dev
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment