Skip to content

Actions: coredac/neura

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
979 workflow runs
979 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Codegen Folded-Constant Handling build #940: Pull request #291 synchronize by n0thingNoob
11m 28s testbench
testbench
11m 28s
Codegen Folded-Constant Handling build #939: Pull request #291 synchronize by n0thingNoob
12m 27s testbench
testbench
12m 27s
Codegen Folded-Constant Handling build #938: Pull request #291 synchronize by n0thingNoob
11m 41s testbench
testbench
11m 41s
Register Bypass Constraint build #937: Pull request #293 synchronize by guosran
37m 54s feature/register-bypass-constraint
feature/register-bypass-constraint
37m 54s
Fix Assertion Crash and Optimize Compile Time build #936: Pull request #298 synchronize by guosran
24m 41s fix/assertion-and-performance
fix/assertion-and-performance
24m 41s
Register Bypass Constraint build #935: Pull request #293 synchronize by guosran
37m 17s feature/register-bypass-constraint
feature/register-bypass-constraint
37m 17s
Register Bypass Constraint build #934: Pull request #293 synchronize by guosran
37m 33s feature/register-bypass-constraint
feature/register-bypass-constraint
37m 33s
Register Bypass Constraint build #933: Pull request #293 synchronize by guosran
4m 13s feature/register-bypass-constraint
feature/register-bypass-constraint
4m 13s
Merge pull request #297 from ShangkunLi/predicate-handling build #932: Commit 432d85b pushed by ShangkunLi
11m 43s main
main
11m 43s
Add Mapping Constraint for Iteration Mismatch build #931: Pull request #297 synchronize by ShangkunLi
11m 32s ShangkunLi:predicate-handling
ShangkunLi:predicate-handling
11m 32s
Add Mapping Constraint for Iteration Mismatch build #930: Pull request #297 synchronize by ShangkunLi
11m 45s ShangkunLi:predicate-handling
ShangkunLi:predicate-handling
11m 45s
Add Mapping Constraint for Iteration Mismatch build #929: Pull request #297 synchronize by ShangkunLi
12m 13s ShangkunLi:predicate-handling
ShangkunLi:predicate-handling
12m 13s
Add Mapping Constraint for Iteration Mismatch build #928: Pull request #297 synchronize by ShangkunLi
11m 53s ShangkunLi:predicate-handling
ShangkunLi:predicate-handling
11m 53s
Fix Assertion Crash and Optimize Compile Time build #927: Pull request #298 synchronize by guosran
30m 39s fix/assertion-and-performance
fix/assertion-and-performance
30m 39s
Fix Assertion Crash and Optimize Compile Time build #926: Pull request #298 synchronize by guosran
30m 55s fix/assertion-and-performance
fix/assertion-and-performance
30m 55s
Fix Assertion Crash and Optimize Compile Time build #925: Pull request #298 synchronize by guosran
16m 26s fix/assertion-and-performance
fix/assertion-and-performance
16m 26s
Fix Assertion Crash and Optimize Compile Time build #924: Pull request #298 synchronize by guosran
10m 41s fix/assertion-and-performance
fix/assertion-and-performance
10m 41s
Fix Assertion Crash and Optimize Compile Time build #923: Pull request #298 opened by guosran
31m 44s fix/assertion-and-performance
fix/assertion-and-performance
31m 44s
Register Bypass Constraint build #922: Pull request #293 synchronize by guosran
31m 45s feature/register-bypass-constraint
feature/register-bypass-constraint
31m 45s
Add Mapping Constraint for Iteration Mismatch build #921: Pull request #297 opened by ShangkunLi
16m 54s ShangkunLi:predicate-handling
ShangkunLi:predicate-handling
16m 54s
Enhance the logic of phi -> phi_start transform build #920: Pull request #295 opened by ShangkunLi
12m 21s ShangkunLi:phi_start_debug
ShangkunLi:phi_start_debug
12m 21s
Register Bypass Constraint build #919: Pull request #293 synchronize by guosran
11m 20s feature/register-bypass-constraint
feature/register-bypass-constraint
11m 20s
Register Bypass Constraint build #918: Pull request #293 synchronize by guosran
39m 4s feature/register-bypass-constraint
feature/register-bypass-constraint
39m 4s
Register Bypass Constraint build #917: Pull request #293 synchronize by guosran
11m 44s feature/register-bypass-constraint
feature/register-bypass-constraint
11m 44s
Register Bypass Constraint build #916: Pull request #293 synchronize by guosran
15m 23s feature/register-bypass-constraint
feature/register-bypass-constraint
15m 23s