Skip to content

Actions: analysis-tools-dev/static-analysis

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
211 workflow runs
211 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create hasmysecretleaked CI #839: Pull request #1431 synchronize by mre
October 19, 2023 22:11 1m 31s ggjey:patch-3
ggjey:patch-3
October 19, 2023 22:11 1m 31s
Create gitguardian-ggshield CI #838: Pull request #1430 synchronize by mre
October 19, 2023 22:11 1m 20s ggjey:patch-2
ggjey:patch-2
October 19, 2023 22:11 1m 20s
Create hasmysecretleaked CI #837: Pull request #1431 synchronize by mre
October 19, 2023 22:09 1m 51s ggjey:patch-3
ggjey:patch-3
October 19, 2023 22:09 1m 51s
Create hasmysecretleaked CI #836: Pull request #1431 synchronize by mre
October 19, 2023 22:07 1m 38s ggjey:patch-3
ggjey:patch-3
October 19, 2023 22:07 1m 38s
Add BugProve static analyser CI #833: Pull request #1426 synchronize by mre
October 17, 2023 21:56 1m 56s dorameleg:patch-1
dorameleg:patch-1
October 17, 2023 21:56 1m 56s
Add BugProve static analyser CI #832: Pull request #1426 synchronize by mre
October 17, 2023 21:53 1m 25s dorameleg:patch-1
dorameleg:patch-1
October 17, 2023 21:53 1m 25s
Add Kani to tools CI #831: Pull request #1429 opened by bartMarinissen
October 16, 2023 09:24 1m 35s bartMarinissen:Add-kani-rust-model-checker
bartMarinissen:Add-kani-rust-model-checker
October 16, 2023 09:24 1m 35s
Bump serde from 1.0.188 to 1.0.189 in /data/render CI #830: Pull request #1428 opened by dependabot bot
October 13, 2023 11:14 1m 34s dependabot/cargo/data/render/serde-1.0.189
dependabot/cargo/data/render/serde-1.0.189
October 13, 2023 11:14 1m 34s
Add OpenRewrite tool CI #829: Pull request #1427 opened by mike-solomon
October 11, 2023 17:11 1m 50s mike-solomon:rewrite
mike-solomon:rewrite
October 11, 2023 17:11 1m 50s
Add BugProve static analyser CI #828: Pull request #1426 opened by dorameleg
October 11, 2023 15:09 2m 19s dorameleg:patch-1
dorameleg:patch-1
October 11, 2023 15:09 2m 19s
Bump tokio from 1.32.0 to 1.33.0 in /data/render CI #827: Pull request #1424 opened by dependabot bot
October 9, 2023 11:14 1m 38s dependabot/cargo/data/render/tokio-1.33.0
dependabot/cargo/data/render/tokio-1.33.0
October 9, 2023 11:14 1m 38s