Skip to content

Commit

Permalink
Automatic deploy to GitHub Pages: ffc391c
Browse files Browse the repository at this point in the history
  • Loading branch information
GHA CI committed Aug 8, 2024
1 parent bc2f29e commit 9d930ad
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion master/lints.json
Original file line number Diff line number Diff line change
Expand Up @@ -2898,7 +2898,7 @@
"id": "if_then_some_else_none",
"id_span": {
"path": "src/if_then_some_else_none.rs",
"line": 45
"line": 47
},
"group": "restriction",
"level": "allow",
Expand Down

0 comments on commit 9d930ad

Please sign in to comment.