Skip to content

Commit

Permalink
fix rendering with line breaks
Browse files Browse the repository at this point in the history
  • Loading branch information
mre committed Apr 15, 2024
1 parent d298e48 commit 93f71b8
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 6 deletions.
10 changes: 5 additions & 5 deletions data/tools/kani.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,15 +6,15 @@ types:
tags:
- rust
- security
license: 'MIT & Apache 2.0'
source: 'https://github.com/model-checking/kani'
homepage: 'https://github.com/model-checking/kani'
description: >-
license: "MIT & Apache 2.0"
source: "https://github.com/model-checking/kani"
homepage: "https://github.com/model-checking/kani"
description: |
The Kani Rust Verifier is a bit-precise model checker for Rust.
Kani is particularly useful for verifying unsafe code blocks in Rust,
where the "unsafe superpowers" are unchecked by the compiler.
Kani verifies:
* Memory safety (e.g., null pointer dereferences)
* User-specified assertions (i.e., assert!(...))
* The absence of panics (e.g., unwrap() on None values)
Expand Down
2 changes: 1 addition & 1 deletion data/tools/kubeconform.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ homepage: "https://github.com/yannh/kubeconform"
resources:
- title: Ensuring Kubernetes manifests validity & compliance - a tooling overview - Yann Hamon, Contentful
url: https://youtu.be/YM7Wy_M7Lvw?t=657
description: >-
description: |
A fast Kubernetes manifests validator with support for custom resources.
It is inspired by, contains code from and is designed to stay close to [Kubeval](https://analysis-tools.dev/tool/kubeval),
Expand Down

0 comments on commit 93f71b8

Please sign in to comment.