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

Bump tokio from 1.33.0 to 1.34.0 in /data/render CI #864: Pull request #1456 opened by dependabot bot
November 10, 2023 11:40 1m 39s dependabot/cargo/data/render/tokio-1.34.0
dependabot/cargo/data/render/tokio-1.34.0
November 10, 2023 11:40 1m 39s
Add MOPSA CI #863: Pull request #1455 opened by Mitsos101
November 10, 2023 10:48 1m 31s Mitsos101:patch-1
Mitsos101:patch-1
November 10, 2023 10:48 1m 31s
Bump slug from 0.1.4 to 0.1.5 in /data/render CI #862: Pull request #1454 opened by dependabot bot
November 7, 2023 11:19 55s dependabot/cargo/data/render/slug-0.1.5
dependabot/cargo/data/render/slug-0.1.5
November 7, 2023 11:19 55s
Bump serde from 1.0.190 to 1.0.192 in /data/render CI #861: Pull request #1453 opened by dependabot bot
November 7, 2023 11:19 56s dependabot/cargo/data/render/serde-1.0.192
dependabot/cargo/data/render/serde-1.0.192
November 7, 2023 11:19 56s
Add the Dataflow Framework tool CI #860: Pull request #1445 synchronize by mre
October 31, 2023 12:39 1m 18s mernst:dataflow-framework
mernst:dataflow-framework
October 31, 2023 12:39 1m 18s
Add the Dataflow Framework tool CI #859: Pull request #1445 synchronize by mre
October 31, 2023 12:38 1m 36s mernst:dataflow-framework
mernst:dataflow-framework
October 31, 2023 12:38 1m 36s
Add the Dataflow Framework tool CI #858: Pull request #1445 synchronize by mre
October 31, 2023 12:38 1m 49s mernst:dataflow-framework
mernst:dataflow-framework
October 31, 2023 12:38 1m 49s
Bump tokio from 1.32.0 to 1.33.0 in /data/render CI #857: Pull request #1424 synchronize by dependabot bot
October 31, 2023 11:24 1m 30s dependabot/cargo/data/render/tokio-1.33.0
dependabot/cargo/data/render/tokio-1.33.0
October 31, 2023 11:24 1m 30s
Bump serde_json from 1.0.107 to 1.0.108 in /data/render CI #856: Pull request #1452 opened by dependabot bot
October 31, 2023 11:22 1m 23s dependabot/cargo/data/render/serde_json-1.0.108
dependabot/cargo/data/render/serde_json-1.0.108
October 31, 2023 11:22 1m 23s
Fix some broken internal link in the Readme CI #855: Pull request #1451 opened by Delgan
October 30, 2023 18:42 16s patch-2
patch-2
October 30, 2023 18:42 16s
Mark dagda as unmaintained CI #854: Pull request #1449 opened by timobrembeck
October 30, 2023 15:52 1m 51s timobrembeck:dagda-unmaintained
timobrembeck:dagda-unmaintained
October 30, 2023 15:52 1m 51s
Narrow the tags for fta CI #853: Pull request #1447 opened by sgb-io
October 29, 2023 08:50 1m 22s sgb-io:feat/narrow-fta
sgb-io:feat/narrow-fta
October 29, 2023 08:50 1m 22s
Add the Dataflow Framework tool CI #852: Pull request #1445 opened by mernst
October 27, 2023 19:31 1m 39s mernst:dataflow-framework
mernst:dataflow-framework
October 27, 2023 19:31 1m 39s
Expand description of the Checker Framework CI #851: Pull request #1444 opened by mernst
October 27, 2023 19:21 1m 43s mernst:checker-framework
mernst:checker-framework
October 27, 2023 19:21 1m 43s
Fix spelling of Error Prone tool CI #850: Pull request #1443 opened by mernst
October 27, 2023 18:08 1m 36s mernst:error-prone
mernst:error-prone
October 27, 2023 18:08 1m 36s
Add Kani to tools CI #849: Pull request #1429 synchronize by mre
October 27, 2023 12:02 1m 29s bartMarinissen:Add-kani-rust-model-checker
bartMarinissen:Add-kani-rust-model-checker
October 27, 2023 12:02 1m 29s
Add Kani to tools CI #848: Pull request #1429 synchronize by mre
October 27, 2023 11:54 1m 57s bartMarinissen:Add-kani-rust-model-checker
bartMarinissen:Add-kani-rust-model-checker
October 27, 2023 11:54 1m 57s
Add Kani to tools CI #847: Pull request #1429 synchronize by mre
October 27, 2023 11:54 1m 57s bartMarinissen:Add-kani-rust-model-checker
bartMarinissen:Add-kani-rust-model-checker
October 27, 2023 11:54 1m 57s
Bump tokio from 1.32.0 to 1.33.0 in /data/render CI #846: Pull request #1424 synchronize by dependabot bot
October 27, 2023 11:47 1m 52s dependabot/cargo/data/render/tokio-1.33.0
dependabot/cargo/data/render/tokio-1.33.0
October 27, 2023 11:47 1m 52s
Bump serde_yaml from 0.9.25 to 0.9.27 in /data/render CI #845: Pull request #1441 opened by dependabot bot
October 27, 2023 11:43 1m 44s dependabot/cargo/data/render/serde_yaml-0.9.27
dependabot/cargo/data/render/serde_yaml-0.9.27
October 27, 2023 11:43 1m 44s
Update luacheck.yml CI #844: Pull request #1438 opened by dareg
October 26, 2023 11:55 1m 36s dareg:patch-1
dareg:patch-1
October 26, 2023 11:55 1m 36s
Bump serde from 1.0.189 to 1.0.190 in /data/render CI #843: Pull request #1437 opened by dependabot bot
October 26, 2023 11:47 1m 43s dependabot/cargo/data/render/serde-1.0.190
dependabot/cargo/data/render/serde-1.0.190
October 26, 2023 11:47 1m 43s
Add FTA CI #842: Pull request #1436 opened by sgb-io
October 26, 2023 11:03 3m 41s sgb-io:feat/add-fta
sgb-io:feat/add-fta
October 26, 2023 11:03 3m 41s
Create hasmysecretleaked CI #841: Pull request #1431 synchronize by mre
October 19, 2023 22:32 1m 57s ggjey:patch-3
ggjey:patch-3
October 19, 2023 22:32 1m 57s
Create hasmysecretleaked CI #840: Pull request #1431 synchronize by mre
October 19, 2023 22:24 1m 23s ggjey:patch-3
ggjey:patch-3
October 19, 2023 22:24 1m 23s