Skip to content

Actions: immunant/c2rust

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
623 workflow runs
623 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
analyze: allow overriding dataflow for specific permissions (#1088) c2rust-testsuite #2247: Commit 9511a4f pushed by spernsteiner
May 2, 2024 20:04 15m 39s master
master
May 2, 2024 20:04 15m 39s
analyze: allow overriding dataflow for specific permissions c2rust-testsuite #2246: Pull request #1088 synchronize by spernsteiner
May 2, 2024 17:05 14m 3s analyze-dataflow-readonly
analyze-dataflow-readonly
May 2, 2024 17:05 14m 3s
analyze: allow overriding dataflow for specific permissions c2rust-testsuite #2245: Pull request #1088 synchronize by spernsteiner
May 2, 2024 16:46 14m 37s analyze-dataflow-readonly
analyze-dataflow-readonly
May 2, 2024 16:46 14m 37s
CI: Fix Azure pipelines Darwin build c2rust-testsuite #2244: Commit 90ca19a pushed by thedataking
May 2, 2024 07:58 14m 7s master
master
May 2, 2024 07:58 14m 7s
CI: Fix Azure pipelines Darwin build c2rust-testsuite #2243: Commit aa99816 pushed by thedataking
May 2, 2024 07:57 13m 31s feature/ci-dev
feature/ci-dev
May 2, 2024 07:57 13m 31s
analyze: uncomment line in scripts/run_pointwise_metrics.sh (#1087) c2rust-testsuite #2242: Commit e226aff pushed by thedataking
May 2, 2024 07:50 14m 26s feature/ci-dev
feature/ci-dev
May 2, 2024 07:50 14m 26s
analyze: allow overriding dataflow for specific permissions c2rust-testsuite #2241: Pull request #1088 opened by spernsteiner
April 30, 2024 00:01 14m 19s analyze-dataflow-readonly
analyze-dataflow-readonly
April 30, 2024 00:01 14m 19s
analyze: uncomment line in scripts/run_pointwise_metrics.sh (#1087) c2rust-testsuite #2240: Commit e226aff pushed by spernsteiner
April 29, 2024 20:28 13m 30s master
master
April 29, 2024 20:28 13m 30s
c2rust-transpile: only delete compile_commands.json if it was a tempo… c2rust-testsuite #2239: Commit 03facd3 pushed by fw-immunant
April 29, 2024 20:22 13m 21s master
master
April 29, 2024 20:22 13m 21s
analyze: uncomment line in scripts/run_pointwise_metrics.sh c2rust-testsuite #2238: Pull request #1087 opened by spernsteiner
April 29, 2024 18:51 13m 10s analyze-metrics-scripts-fix
analyze-metrics-scripts-fix
April 29, 2024 18:51 13m 10s
analyze: add scripts for computing pointwise metrics (#1074) c2rust-testsuite #2237: Commit 3d85abc pushed by spernsteiner
April 29, 2024 18:42 13m 42s master
master
April 29, 2024 18:42 13m 42s
analyze: add scripts for computing pointwise metrics c2rust-testsuite #2236: Pull request #1074 synchronize by spernsteiner
April 29, 2024 18:18 13m 27s analyze-metrics-scripts
analyze-metrics-scripts
April 29, 2024 18:18 13m 27s
Import null pointer information from PDG into static analysis c2rust-testsuite #2235: Pull request #1086 synchronize by ahomescu
April 26, 2024 23:05 13m 15s ahomescu/non_null
ahomescu/non_null
April 26, 2024 23:05 13m 15s
CI: attempt to fix Azure pipelines Darwin build c2rust-testsuite #2234: Commit 774abc7 pushed by thedataking
April 26, 2024 07:22 12m 56s feature/ci-dev
feature/ci-dev
April 26, 2024 07:22 12m 56s
Import null pointer information from PDG into static analysis c2rust-testsuite #2233: Pull request #1086 synchronize by ahomescu
April 25, 2024 05:21 12m 59s ahomescu/non_null
ahomescu/non_null
April 25, 2024 05:21 12m 59s
Import null pointer information from PDG into static analysis c2rust-testsuite #2232: Pull request #1086 opened by ahomescu
April 25, 2024 05:19 14m 28s ahomescu/non_null
ahomescu/non_null
April 25, 2024 05:19 14m 28s
analyze: initial implementation of NON_NULL static analysis (#1081) c2rust-testsuite #2231: Commit d85b4d0 pushed by spernsteiner
April 22, 2024 18:55 12m 16s master
master
April 22, 2024 18:55 12m 16s
analyze: initial implementation of NON_NULL static analysis c2rust-testsuite #2230: Pull request #1081 synchronize by spernsteiner
April 22, 2024 18:05 12m 58s analyze-non-null
analyze-non-null
April 22, 2024 18:05 12m 58s
Fix noop deref warning (#1082) c2rust-testsuite #2229: Commit 2a6b735 pushed by kkysen
April 20, 2024 23:27 12m 26s master
master
April 20, 2024 23:27 12m 26s
Fix noop deref warning c2rust-testsuite #2228: Pull request #1082 opened by LegNeato
April 19, 2024 23:15 11m 53s LegNeato:patch-1
LegNeato:patch-1
April 19, 2024 23:15 11m 53s
analyze: add --rewrite-mode pointwise (#1073) c2rust-testsuite #2227: Commit 6264fae pushed by spernsteiner
April 15, 2024 17:39 11m 32s master
master
April 15, 2024 17:39 11m 32s
analyze: track reasons why functions are not rewritten (#1072) c2rust-testsuite #2226: Commit ff1fa02 pushed by spernsteiner
April 15, 2024 16:00 12m 35s master
master
April 15, 2024 16:00 12m 35s
analyze: track reasons why functions are not rewritten c2rust-testsuite #2225: Pull request #1072 synchronize by spernsteiner
April 12, 2024 22:02 12m 9s analyze-dont-rewrite-reasons
analyze-dont-rewrite-reasons
April 12, 2024 22:02 12m 9s
analyze: initial implementation of NON_NULL static analysis c2rust-testsuite #2224: Pull request #1081 synchronize by spernsteiner
April 12, 2024 21:36 11m 54s analyze-non-null
analyze-non-null
April 12, 2024 21:36 11m 54s
analyze: initial implementation of NON_NULL static analysis c2rust-testsuite #2223: Pull request #1081 opened by spernsteiner
April 12, 2024 20:24 11m 20s analyze-non-null
analyze-non-null
April 12, 2024 20:24 11m 20s