Skip to content

Actions: analysis-tools-dev/static-analysis

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
233 workflow runs
233 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add JET CI #873: Pull request #1472 opened by ParadaCarleton
December 10, 2023 19:45 53s ParadaCarleton:patch-2
ParadaCarleton:patch-2
December 10, 2023 19:45 53s
Add JET.jl CI #872: Pull request #1469 opened by ParadaCarleton
December 8, 2023 20:53 19s ParadaCarleton:patch-1
ParadaCarleton:patch-1
December 8, 2023 20:53 19s
Add promformat CI #871: Pull request #1468 synchronize by mre
December 6, 2023 19:55 55s promformat
promformat
December 6, 2023 19:55 55s
Add promformat CI #870: Pull request #1468 synchronize by mre
December 6, 2023 19:54 54s promformat
promformat
December 6, 2023 19:54 54s
Add promformat CI #869: Pull request #1468 opened by mre
December 6, 2023 19:52 56s promformat
promformat
December 6, 2023 19:52 56s
Bump openssl from 0.10.55 to 0.10.60 in /data/render CI #868: Pull request #1464 opened by dependabot bot
November 28, 2023 21:36 59s dependabot/cargo/data/render/openssl-0.10.60
dependabot/cargo/data/render/openssl-0.10.60
November 28, 2023 21:36 59s
Add pgspot CI #867: Pull request #1463 opened by svenklemm
November 28, 2023 09:37 57s svenklemm:patch-1
svenklemm:patch-1
November 28, 2023 09:37 57s
Bump serde from 1.0.192 to 1.0.193 in /data/render CI #866: Pull request #1461 opened by dependabot bot
November 21, 2023 11:11 1m 5s dependabot/cargo/data/render/serde-1.0.193
dependabot/cargo/data/render/serde-1.0.193
November 21, 2023 11:11 1m 5s
Create sonar-delphi CI #865: Pull request #1457 opened by Cirras
November 15, 2023 08:20 58s master
master
November 15, 2023 08:20 58s
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