Skip to content

Actions: semgrep/ocaml-tree-sitter-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add options '--strip' and '--normalize' to further facilitate the com… Semgrep #196: Commit 9fe848c pushed by aryx
September 21, 2024 12:19 2m 5s main
main
September 21, 2024 12:19 2m 5s
Add options '--strip' and '--normalize' Semgrep #195: Pull request #83 opened by mjambon
September 20, 2024 20:57 40s martin/diff
martin/diff
September 20, 2024 20:57 40s
Extract and recover structure of extras (#48) Semgrep #194: Commit e063ec5 pushed by mjambon
September 18, 2024 16:38 1m 6s main
main
September 18, 2024 16:38 1m 6s
Extract and recover structure of extras Semgrep #193: Pull request #48 synchronize by mjambon
September 17, 2024 02:40 38s mj-parse-extras
mj-parse-extras
September 17, 2024 02:40 38s
Extract and recover structure of extras Semgrep #192: Pull request #48 synchronize by mjambon
September 17, 2024 02:03 43s mj-parse-extras
mj-parse-extras
September 17, 2024 02:03 43s
Extract and recover structure of extras Semgrep #191: Pull request #48 synchronize by mjambon
September 14, 2024 00:09 40s mj-parse-extras
mj-parse-extras
September 14, 2024 00:09 40s
Extract and recover structure of extras Semgrep #190: Pull request #48 synchronize by mjambon
September 13, 2024 00:22 43s mj-parse-extras
mj-parse-extras
September 13, 2024 00:22 43s
Extract and recover structure of extras Semgrep #189: Pull request #48 synchronize by mjambon
September 12, 2024 21:10 41s mj-parse-extras
mj-parse-extras
September 12, 2024 21:10 41s
Merge pull request #81 from semgrep/martin/manage-versions Semgrep #188: Commit e74ffc6 pushed by aryx
September 12, 2024 07:07 1m 0s main
main
September 12, 2024 07:07 1m 0s
Add scripts and instructions for switching between tree-sitter versions Semgrep #187: Pull request #81 opened by mjambon
September 11, 2024 21:44 46s martin/manage-versions
martin/manage-versions
September 11, 2024 21:44 46s
Extract and recover structure of extras Semgrep #186: Pull request #48 synchronize by mjambon
September 10, 2024 21:36 36s mj-parse-extras
mj-parse-extras
September 10, 2024 21:36 36s
Merge pull request #80 from semgrep/martin/to-js-sort-rules Semgrep #185: Commit d70955e pushed by aryx
June 25, 2024 07:57 1m 13s main
main
June 25, 2024 07:57 1m 13s
Add option to sort rule definitions Semgrep #184: Pull request #80 synchronize by mjambon
June 25, 2024 02:17 41s martin/to-js-sort-rules
martin/to-js-sort-rules
June 25, 2024 02:17 41s
Add option to sort rule definitions Semgrep #183: Pull request #80 opened by mjambon
June 25, 2024 01:40 39s martin/to-js-sort-rules
martin/to-js-sort-rules
June 25, 2024 01:40 39s
Merge pull request #77 from semgrep/martin/upgrade-tree-sitter Semgrep #182: Commit c085bc5 pushed by mjambon
June 19, 2024 03:54 57s main
main
June 19, 2024 03:54 57s
Upgrade to tree-sitter 0.22.6 Semgrep #181: Pull request #77 synchronize by mjambon
June 19, 2024 03:01 37s martin/upgrade-tree-sitter
martin/upgrade-tree-sitter
June 19, 2024 03:01 37s
Upgrade to tree-sitter 0.22.6 Semgrep #180: Pull request #77 synchronize by mjambon
June 19, 2024 02:32 36s martin/upgrade-tree-sitter
martin/upgrade-tree-sitter
June 19, 2024 02:32 36s
Upgrade to tree-sitter 0.22.6 Semgrep #179: Pull request #77 synchronize by mjambon
June 19, 2024 01:06 35s martin/upgrade-tree-sitter
martin/upgrade-tree-sitter
June 19, 2024 01:06 35s
Upgrade to tree-sitter 0.22.6 Semgrep #178: Pull request #77 synchronize by mjambon
June 18, 2024 23:09 33s martin/upgrade-tree-sitter
martin/upgrade-tree-sitter
June 18, 2024 23:09 33s
Upgrade to tree-sitter 0.22.6 Semgrep #177: Pull request #77 synchronize by mjambon
June 18, 2024 22:36 35s martin/upgrade-tree-sitter
martin/upgrade-tree-sitter
June 18, 2024 22:36 35s
Upgrade to tree-sitter 0.22.6 Semgrep #176: Pull request #77 synchronize by mjambon
June 18, 2024 22:06 37s martin/upgrade-tree-sitter
martin/upgrade-tree-sitter
June 18, 2024 22:06 37s
Upgrade to tree-sitter 0.22.6 Semgrep #175: Pull request #77 synchronize by mjambon
June 15, 2024 02:08 36s martin/upgrade-tree-sitter
martin/upgrade-tree-sitter
June 15, 2024 02:08 36s
Upgrade to tree-sitter 0.22.6 Semgrep #174: Pull request #77 synchronize by mjambon
June 15, 2024 01:40 40s martin/upgrade-tree-sitter
martin/upgrade-tree-sitter
June 15, 2024 01:40 40s
Upgrade to tree-sitter 0.22.6 Semgrep #173: Pull request #77 synchronize by mjambon
June 15, 2024 01:35 37s martin/upgrade-tree-sitter
martin/upgrade-tree-sitter
June 15, 2024 01:35 37s
Upgrade to tree-sitter 0.22.6 Semgrep #172: Pull request #77 synchronize by mjambon
June 14, 2024 00:41 40s martin/upgrade-tree-sitter
martin/upgrade-tree-sitter
June 14, 2024 00:41 40s