Skip to content

Actions: aptos-labs/aptos-core

Actions

Semgrep

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yaml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[framework] BigOrderedMap iterator validity specs Semgrep #92770: Pull request #20311 synchronize by rahxephon89
50s teng/bom-activate
teng/bom-activate
50s
Semgrep Semgrep #92769: Manually run by aptos-bot
51s main
main
51s
Semgrep Semgrep #92768: Manually run by aptos-bot
38s main
main
38s
[framework] BigOrderedMap iterator validity specs Semgrep #92767: Pull request #20311 synchronize by rahxephon89
56s teng/bom-activate
teng/bom-activate
56s
[move prover] ghost carrier and iterator validity for intrinsic maps Semgrep #92766: Pull request #20310 synchronize by rahxephon89
41s teng/bom-carrier
teng/bom-carrier
41s
[framework] BigOrderedMap iterator validity specs Semgrep #92765: Pull request #20311 synchronize by rahxephon89
41s teng/bom-activate
teng/bom-activate
41s
Semgrep Semgrep #92764: Manually run by aptos-bot
39s main
main
39s
Semgrep Semgrep #92763: Manually run by aptos-bot
57s main
main
57s
Semgrep Semgrep #92762: Manually run by aptos-bot
26m 2s main
main
26m 2s
Semgrep Semgrep #92761: Manually run by aptos-bot
13m 12s main
main
13m 12s
Semgrep Semgrep #92760: Manually run by aptos-bot
44m 5s main
main
44m 5s
[framework] BigOrderedMap iterator validity specs Semgrep #92759: Pull request #20311 synchronize by rahxephon89
29m 44s teng/bom-activate
teng/bom-activate
29m 44s
[framework] BigOrderedMap iterator validity specs Semgrep #92758: Pull request #20311 synchronize by rahxephon89
3h 52m 19s teng/bom-activate
teng/bom-activate
3h 52m 19s
[move prover] ghost carrier and iterator validity for intrinsic maps Semgrep #92757: Pull request #20310 synchronize by rahxephon89
25m 37s teng/bom-carrier
teng/bom-carrier
25m 37s
[Consensus] Add limit to number of batches in opt proposal. Semgrep #92756: Pull request #20321 synchronize by JoshLind
42m 50s inc_22783
inc_22783
42m 50s
[api] Add API-layer stages to transaction tracing Semgrep #92755: Pull request #20323 labeled by danielxiangzl
5m 37s daniel/api-transaction-tracing
daniel/api-transaction-tracing
5m 37s
Semgrep Semgrep #92754: Manually run by aptos-bot
6m 21s main
main
6m 21s
[experimental] Replay test Semgrep #92753: Pull request #20319 labeled by georgemitenkov
1h 5m 6s george/exp
george/exp
1h 5m 6s
Semgrep Semgrep #92752: Manually run by aptos-bot
54s main
main
54s
[vm] Function value storage format V2 Semgrep #92751: Pull request #20228 synchronize by georgemitenkov
50s george/closure-format-v2
george/closure-format-v2
50s
[experimental] Replay test Semgrep #92750: Pull request #20319 synchronize by georgemitenkov
58s george/exp
george/exp
58s
[framework] BigOrderedMap iterator validity specs Semgrep #92749: Pull request #20311 synchronize by rahxephon89
45s teng/bom-activate
teng/bom-activate
45s
[framework] BigOrderedMap iterator validity specs Semgrep #92748: Pull request #20311 synchronize by rahxephon89
42s teng/bom-activate
teng/bom-activate
42s
[move prover] ghost carrier and iterator validity for intrinsic maps Semgrep #92747: Pull request #20310 synchronize by rahxephon89
39s teng/bom-carrier
teng/bom-carrier
39s
[vm] Function value storage format V2 Semgrep #92746: Pull request #20228 synchronize by georgemitenkov
37s george/closure-format-v2
george/closure-format-v2
37s