Skip to content

Actions: immunant/c2rust

Actions

c2rust-testsuite

Actions

Loading...

Show workflow options

Create status badge

internal-testsuite.yml
602 workflow runs
602 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Import null pointer information from PDG into static analysis c2rust-testsuite #2256: Pull request #1086 synchronize by ahomescu
May 18, 2024 05:51 16m 50s ahomescu/non_null
ahomescu/non_null
May 18, 2024 05:51 16m 50s
analyze: add NON_NULL rewrites c2rust-testsuite #2255: Pull request #1095 synchronize by spernsteiner
May 16, 2024 18:11 16m 34s analyze-rewrite-non-null
analyze-rewrite-non-null
May 16, 2024 18:11 16m 34s
analyze: add NON_NULL rewrites c2rust-testsuite #2254: Pull request #1095 synchronize by spernsteiner
May 16, 2024 00:05 16m 9s analyze-rewrite-non-null
analyze-rewrite-non-null
May 16, 2024 00:05 16m 9s
analyze: add NON_NULL rewrites c2rust-testsuite #2253: Pull request #1095 opened by spernsteiner
May 16, 2024 00:02 16m 9s analyze-rewrite-non-null
analyze-rewrite-non-null
May 16, 2024 00:02 16m 9s
Fix Nix c2rust-testsuite #2252: Pull request #1094 opened by DieracDelta
May 14, 2024 19:05 Action required DieracDelta:flake
DieracDelta:flake
May 14, 2024 19:05 Action required
Add a set of comments and question on PDG construction c2rust-testsuite #2251: Pull request #1092 synchronize by ahomescu
May 11, 2024 05:24 15m 25s ahomescu/pdg_comments
ahomescu/pdg_comments
May 11, 2024 05:24 15m 25s
Add a set of comments and question on PDG construction c2rust-testsuite #2250: Pull request #1092 opened by ahomescu
May 10, 2024 08:07 15m 50s ahomescu/pdg_comments
ahomescu/pdg_comments
May 10, 2024 08:07 15m 50s
Switch to crossbeam-queue for events c2rust-testsuite #2249: Pull request #1091 synchronize by ahomescu
May 9, 2024 04:59 11m 53s ahomescu/lock_free_event_queue
ahomescu/lock_free_event_queue
May 9, 2024 04:59 11m 53s
Switch to crossbeam-queue for events c2rust-testsuite #2248: Pull request #1091 opened by ahomescu
May 6, 2024 05:32 12m 1s ahomescu/lock_free_event_queue
ahomescu/lock_free_event_queue
May 6, 2024 05:32 12m 1s
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