new icon: idris (original)

[cl1ckname]

Double check these details before you open a PR

• PR does not match another non-stale PR currently opened
• PR name matches the format new icon: Icon name (versions separated by comma). More details here
• PR's base is the develop branch.
• Your icons are inside a folder as seen here
• SVG matches the standards laid out here
• A new object is added in the devicon.json file at the correct alphabetic position as seen here

This PR closes #2725

Link to prove your SVG is correct and up-to-date.

https://idris-lang.org/

[cl1ckname]

PR is ready for review; please approve workflows and run checks.

[Yashh56]

Hwy @cl1ckname, The changes are good but you need to create a plain svg as well because the original svg have two paths. So please create a plain svg as well and follow this guide. Really appreciate your contributions :)

[cl1ckname]

Oh, missed that step, now there are only one path and svg optimized according guideline @Yashh56

[Yashh56]

LGTM!

[github-actions]

Hi there,

I'm Devicons' Peek Bot and it seems we've ran into a problem.

Expecting value: line 6067 column 4 (char 129612)

Make sure that:

• Your SVGs are named and added correctly to the /icons folder as seen here.
• Your icon information has been added to the devicon.json as seen here
• Your PR title follows the format seen here

I will retry once everything is fixed. If I still fail or there are other error, the maintainers will investigate.

Best of luck,
Peek Bot ☺️

[github-actions]

Hi there,

I'm Devicons' Peek Bot and it seems we've ran into a problem.

Expecting value: line 6205 column 4 (char 132354)

Make sure that:

• Your SVGs are named and added correctly to the /icons folder as seen here.
• Your icon information has been added to the devicon.json as seen here
• Your PR title follows the format seen here

I will retry once everything is fixed. If I still fail or there are other error, the maintainers will investigate.

Best of luck,
Peek Bot ☺️