Tags

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

0.4.2

713936e5 · Merge branch '45-unofficial' into 'master' · Sep 09, 2023

Release: Release 0.4.2
0.4.1

7ec60714 · Merge branch '43-support-2023-2' into 'master' · Jul 23, 2023

Release: Release 0.4.1
0.4.0

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

Release: Release 0.4.0

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

Release: Release 0.2.3-beta.1
0.2.2-beta.1

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

Release: Release 0.2.2-beta.1
0.2.1-beta.1

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

Release: Release 0.2.1-beta.1
0.2.1-alpha.3

d74f11a2 · fix bug that dirty build on ci · Jan 14, 2023

Release: Release 0.2.1-alpha.3
```
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