Migrate CI to Github Large Runner #309

Ninja3047 · 2022-10-24T14:12:06Z

No description provided.

github-actions · 2022-10-24T14:19:09Z

See the diff generated by this PR for the tests here: https://github.com/lifting-bits/rellic/actions/runs/3313437158

fizzbuzz.bc

typedefs_of_typedefs.bc

switch_loop.bc

func_cond_zero_arg.bc

fcmp.bc

conflicting_names.bc

struct.bc

issue_183_literal_structs.bc

zeroinit.bc

issue_127_uint128_t_lit.bc

struct_swap.bc

global_using_function_decl.bc

init_list.bc

reg_test_structure_fields.bc

ret0.bc

goto_loop.bc

bool.bc

bitops.bc

cast.bc

nullptr.bc

nested_struct.bc

array_swap.bc

binops.bc

bitmask.bc

loop.bc

float.bc

vectors.bc

funcptr.bc

inttoptr.bc

short.bc

trunc.bc

issue_4.bc

conflicting_global.bc

issue_123_uint128_t.bc

fizzbuzz_stateful.bc

issue_94_strncmp.bc

zext.bc

byval_struct.bc

nested_while.bc

--- /dev/fd/63	2022-10-24 14:19:07.518746030 +0000
+++ /dev/fd/62	2022-10-24 14:19:07.522746094 +0000
@@ -18,14 +18,14 @@
                 printf("loop1 x: %d\n", var1);
             }
     }
-    if ((int)var1 >= 20 || (int)var1 <= 10) {
+    if ((int)var1 <= 10 || (int)var1 >= 20) {
         while ((int)var1 < 20)
             {
                 var1 = var1 + 1U;
                 printf("loop2 x: %d\n", var1);
             }
     }
-    if ((int)var1 >= 20 && ((int)var1 >= 20 || (int)var1 <= 10)) {
+    if ((int)var1 >= 20 && ((int)var1 <= 10 || (int)var1 >= 20)) {
         return var0;
     }
 }

func_cond_two_arg.bc

assert.bc

switch.bc

branch.bc

template_parameter_pack.bc

byval_tail_nogep.ll

byval_tail_gep.ll

github-actions · 2022-10-24T16:33:03Z

See the diff generated by this PR for the tests here: https://github.com/lifting-bits/rellic/actions/runs/3314458380

fizzbuzz.bc

--- /dev/fd/63	2022-10-24 16:32:56.002768545 +0000
+++ /dev/fd/62	2022-10-24 16:32:56.002768545 +0000
@@ -11,7 +11,7 @@
     var1 = 0U;
     while ((int)var1 < 30)
         {
-            if ((int)var1 % 3 != 0U || !((int)var1 % 3 != 0U || (int)var1 % 5 == 0U)) {
+            if (!((int)var1 % 5 == 0U || (int)var1 % 3 != 0U) || (int)var1 % 3 != 0U) {
                 if ((int)var1 % 3 != 0U) {
                     if ((int)var1 % 5 != 0U) {
                         printf("%d\n", var1);

typedefs_of_typedefs.bc

switch_loop.bc

func_cond_zero_arg.bc

fcmp.bc

conflicting_names.bc

struct.bc

issue_183_literal_structs.bc

zeroinit.bc

issue_127_uint128_t_lit.bc

struct_swap.bc

global_using_function_decl.bc

init_list.bc

reg_test_structure_fields.bc

ret0.bc

goto_loop.bc

bool.bc

bitops.bc

cast.bc

nullptr.bc

nested_struct.bc

array_swap.bc

binops.bc

bitmask.bc

loop.bc

float.bc

vectors.bc

funcptr.bc

inttoptr.bc

short.bc

trunc.bc

issue_4.bc

conflicting_global.bc

issue_123_uint128_t.bc

fizzbuzz_stateful.bc

issue_94_strncmp.bc

zext.bc

byval_struct.bc

nested_while.bc

func_cond_two_arg.bc

assert.bc

switch.bc

branch.bc

template_parameter_pack.bc

byval_tail_nogep.ll

byval_tail_gep.ll

github-actions · 2022-10-24T16:37:55Z

See the diff generated by this PR for the tests here: https://github.com/lifting-bits/rellic/actions/runs/3314492638

fizzbuzz.bc

typedefs_of_typedefs.bc

switch_loop.bc

func_cond_zero_arg.bc

fcmp.bc

conflicting_names.bc

struct.bc

issue_183_literal_structs.bc

zeroinit.bc

issue_127_uint128_t_lit.bc

struct_swap.bc

global_using_function_decl.bc

init_list.bc

reg_test_structure_fields.bc

ret0.bc

goto_loop.bc

bool.bc

bitops.bc

cast.bc

nullptr.bc

nested_struct.bc

array_swap.bc

binops.bc

bitmask.bc

loop.bc

float.bc

vectors.bc

funcptr.bc

inttoptr.bc

short.bc

trunc.bc

issue_4.bc

conflicting_global.bc

issue_123_uint128_t.bc

fizzbuzz_stateful.bc

issue_94_strncmp.bc

zext.bc

byval_struct.bc

nested_while.bc

--- /dev/fd/63	2022-10-24 16:37:53.600835764 +0000
+++ /dev/fd/62	2022-10-24 16:37:53.600835764 +0000
@@ -18,14 +18,14 @@
                 printf("loop1 x: %d\n", var1);
             }
     }
-    if ((int)var1 >= 20 || (int)var1 <= 10) {
+    if ((int)var1 <= 10 || (int)var1 >= 20) {
         while ((int)var1 < 20)
             {
                 var1 = var1 + 1U;
                 printf("loop2 x: %d\n", var1);
             }
     }
-    if ((int)var1 >= 20 && ((int)var1 >= 20 || (int)var1 <= 10)) {
+    if ((int)var1 >= 20 && ((int)var1 <= 10 || (int)var1 >= 20)) {
         return var0;
     }
 }

func_cond_two_arg.bc

assert.bc

switch.bc

branch.bc

template_parameter_pack.bc

byval_tail_nogep.ll

byval_tail_gep.ll

github-actions · 2022-10-24T16:57:15Z

See the diff generated by this PR for the tests here: https://github.com/lifting-bits/rellic/actions/runs/3314555205

fizzbuzz.bc

typedefs_of_typedefs.bc

switch_loop.bc

func_cond_zero_arg.bc

fcmp.bc

conflicting_names.bc

struct.bc

issue_183_literal_structs.bc

zeroinit.bc

issue_127_uint128_t_lit.bc

struct_swap.bc

global_using_function_decl.bc

init_list.bc

reg_test_structure_fields.bc

ret0.bc

goto_loop.bc

bool.bc

bitops.bc

cast.bc

nullptr.bc

nested_struct.bc

array_swap.bc

binops.bc

bitmask.bc

loop.bc

float.bc

vectors.bc

funcptr.bc

inttoptr.bc

short.bc

trunc.bc

issue_4.bc

conflicting_global.bc

issue_123_uint128_t.bc

fizzbuzz_stateful.bc

issue_94_strncmp.bc

zext.bc

byval_struct.bc

nested_while.bc

func_cond_two_arg.bc

assert.bc

switch.bc

branch.bc

template_parameter_pack.bc

byval_tail_nogep.ll

byval_tail_gep.ll

Ninja3047 · 2022-10-24T17:03:51Z

Should be passing most of checks, i think a few need some more work

frabert · 2022-10-24T17:07:01Z

I think the AWS-related secrets can be removed

Ninja3047 · 2022-10-24T17:10:51Z

Ah yeah, wasn't sure if we still wanted to upload the test artifacts to s3
CC @artemdinaburg

Ninja3047 · 2022-10-24T19:34:08Z

AWS related secrets are DO spaces credentials that we upload artifacts to through their S3 compatible API

frabert · 2022-10-24T17:05:08Z

.github/workflows/anghabench-after-build.yml

@@ -173,26 +139,3 @@ jobs:
        AWS_ACCESS_KEY_ID: ${{ secrets.DO_SPACES_KEY_ID }}


Are these still needed?

Ninja3047 added 2 commits October 24, 2022 10:10

attempt to migrate back to gha from aws

fb51f87

remove dep on start-runner

12433ee

use explicit cxx-commons version

dac4cac

fix url

d956680

update CI

d6ad489

Ninja3047 requested a review from frabert October 24, 2022 17:03

Ninja3047 marked this pull request as ready for review October 24, 2022 17:03

frabert approved these changes Oct 24, 2022

View reviewed changes

frabert merged commit 59b4751 into master Oct 24, 2022

frabert deleted the will/migrate-to-gha branch October 24, 2022 20:28

		@@ -173,26 +139,3 @@ jobs:
		AWS_ACCESS_KEY_ID: ${{ secrets.DO_SPACES_KEY_ID }}

Migrate CI to Github Large Runner #309

Migrate CI to Github Large Runner #309

Conversation

Ninja3047 commented Oct 24, 2022

github-actions bot commented Oct 24, 2022

fizzbuzz.bc

typedefs_of_typedefs.bc

switch_loop.bc

func_cond_zero_arg.bc

fcmp.bc

conflicting_names.bc

struct.bc

issue_183_literal_structs.bc

zeroinit.bc

issue_127_uint128_t_lit.bc

struct_swap.bc

global_using_function_decl.bc

init_list.bc

reg_test_structure_fields.bc

ret0.bc

goto_loop.bc

bool.bc

bitops.bc

cast.bc

nullptr.bc

nested_struct.bc

array_swap.bc

binops.bc

bitmask.bc

loop.bc

float.bc

vectors.bc

funcptr.bc

inttoptr.bc

short.bc

trunc.bc

issue_4.bc

conflicting_global.bc

issue_123_uint128_t.bc

fizzbuzz_stateful.bc

issue_94_strncmp.bc

zext.bc

byval_struct.bc

nested_while.bc

func_cond_two_arg.bc

assert.bc

switch.bc

branch.bc

template_parameter_pack.bc

byval_tail_nogep.ll

byval_tail_gep.ll

github-actions bot commented Oct 24, 2022

fizzbuzz.bc

typedefs_of_typedefs.bc

switch_loop.bc

func_cond_zero_arg.bc

fcmp.bc

conflicting_names.bc

struct.bc

issue_183_literal_structs.bc

zeroinit.bc

issue_127_uint128_t_lit.bc

struct_swap.bc

global_using_function_decl.bc

init_list.bc

reg_test_structure_fields.bc

ret0.bc

goto_loop.bc

bool.bc

bitops.bc

cast.bc

nullptr.bc

nested_struct.bc

array_swap.bc

binops.bc

bitmask.bc

loop.bc

float.bc

vectors.bc

funcptr.bc