Tags

Tags give the ability to mark specific points in history as being important

0.4.0

00c97773 · Merge branch '35-semgrep-not-exists' into 'master' · Feb 07, 2023

release test for https://gitlab.com/jetbrains-ide-plugins/semgrep-plugin/-/merge_requests/21

0.2.3-beta.1

d5125f2d · Merge branch '5-readme' into 'master' · Jan 21, 2023
0.2.2-beta.1

08b10a02 · Merge branch '29-update-plugin-description' into 'master' · Jan 19, 2023
0.2.1-beta.1

06c8110d · Merge branch '19-ci-release' into 'master' · Jan 14, 2023

release test for https://gitlab.com/jetbrains-ide-plugins/semgrep-plugin/-/merge_requests/15

release test for https://gitlab.com/jetbrains-ide-plugins/semgrep-plugin/-/merge_requests/15

release test for https://gitlab.com/jetbrains-ide-plugins/semgrep-plugin/-/merge_requests/15