Skip to content

Actions: runtimeverification/llvm-backend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,205 workflow runs
3,205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New GC strategy. Run LLVM backend tests #2455: Pull request #1175 synchronize by mariaKt
December 5, 2024 23:21 9m 2s gc-strategy
gc-strategy
December 5, 2024 23:21 9m 2s
New GC strategy. Code Checks #3333: Pull request #1175 synchronize by mariaKt
December 5, 2024 23:21 10m 58s gc-strategy
gc-strategy
December 5, 2024 23:21 10m 58s
New GC strategy. Run LLVM backend tests #2454: Pull request #1175 synchronize by mariaKt
December 5, 2024 22:51 5m 43s gc-strategy
gc-strategy
December 5, 2024 22:51 5m 43s
New GC strategy. Code Checks #3332: Pull request #1175 synchronize by mariaKt
December 5, 2024 22:51 13m 19s gc-strategy
gc-strategy
December 5, 2024 22:51 13m 19s
Add relevant info for MacOS building process Code Checks #3331: Pull request #1176 edited by rv-jenkins
December 5, 2024 22:00 5m 15s update-install-docs
update-install-docs
December 5, 2024 22:00 5m 15s
Add relevant info for MacOS building process Run LLVM backend tests #2453: Pull request #1176 edited by rv-jenkins
December 5, 2024 22:00 21m 21s update-install-docs
update-install-docs
December 5, 2024 22:00 21m 21s
Add relevant info for MacOS building process Change PR target to master #100: Pull request #1176 opened by Robertorosmaninho
December 5, 2024 22:00 19s update-install-docs
update-install-docs
December 5, 2024 22:00 19s
New GC strategy. Run LLVM backend tests #2452: Pull request #1175 opened by mariaKt
December 5, 2024 21:57 10m 7s gc-strategy
gc-strategy
December 5, 2024 21:57 10m 7s
New GC strategy. Code Checks #3330: Pull request #1175 opened by mariaKt
December 5, 2024 21:57 5m 28s gc-strategy
gc-strategy
December 5, 2024 21:57 5m 28s
Further allocator refactoring Code Checks #3329: Pull request #1173 synchronize by stevenmeker
December 5, 2024 20:43 8m 18s new_alloc2
new_alloc2
December 5, 2024 20:43 8m 18s
Further allocator refactoring Run LLVM backend tests #2451: Pull request #1173 synchronize by stevenmeker
December 5, 2024 20:43 22m 39s new_alloc2
new_alloc2
December 5, 2024 20:43 22m 39s
New allocation algorithm Code Checks #3328: Pull request #1166 synchronize by dwightguth
December 5, 2024 20:38 5m 19s new_alloc
new_alloc
December 5, 2024 20:38 5m 19s
New allocation algorithm Run LLVM backend tests #2450: Pull request #1166 synchronize by dwightguth
December 5, 2024 20:38 28m 53s new_alloc
new_alloc
December 5, 2024 20:38 28m 53s
Set Version: 0.1.110 Master Push #388: Commit 43558bf pushed by rv-jenkins
December 5, 2024 20:02 8m 13s master
master
December 5, 2024 20:02 8m 13s
Fix some bugs relating to machine integer literals (#1172) Bump version and make master job #108: Commit dfcadbe pushed by dwightguth
December 5, 2024 20:02 24s develop
develop
December 5, 2024 20:02 24s
Initial changes to garbage collection Code Checks #3327: Pull request #1174 edited by rv-jenkins
December 5, 2024 19:48 5m 32s gc_refactor
gc_refactor
December 5, 2024 19:48 5m 32s
Initial changes to garbage collection Run LLVM backend tests #2449: Pull request #1174 edited by rv-jenkins
December 5, 2024 19:48 4h 29m 37s gc_refactor
gc_refactor
December 5, 2024 19:48 4h 29m 37s
Initial changes to garbage collection Change PR target to master #99: Pull request #1174 opened by stevenmeker
December 5, 2024 19:47 23s gc_refactor
gc_refactor
December 5, 2024 19:47 23s
Further allocator refactoring Run LLVM backend tests #2448: Pull request #1173 synchronize by stevenmeker
December 4, 2024 19:52 29m 40s new_alloc2
new_alloc2
December 4, 2024 19:52 29m 40s
Further allocator refactoring Code Checks #3326: Pull request #1173 synchronize by stevenmeker
December 4, 2024 19:52 13m 36s new_alloc2
new_alloc2
December 4, 2024 19:52 13m 36s
Further allocator refactoring Code Checks #3325: Pull request #1173 synchronize by stevenmeker
December 4, 2024 19:29 12m 2s new_alloc2
new_alloc2
December 4, 2024 19:29 12m 2s
Further allocator refactoring Run LLVM backend tests #2447: Pull request #1173 synchronize by stevenmeker
December 4, 2024 19:29 23m 16s new_alloc2
new_alloc2
December 4, 2024 19:29 23m 16s
Further allocator refactoring Run LLVM backend tests #2446: Pull request #1173 edited by rv-jenkins
December 4, 2024 03:02 21m 41s new_alloc2
new_alloc2
December 4, 2024 03:02 21m 41s
Further allocator refactoring Code Checks #3324: Pull request #1173 edited by rv-jenkins
December 4, 2024 03:02 14m 4s new_alloc2
new_alloc2
December 4, 2024 03:02 14m 4s
Further allocator refactoring Change PR target to master #98: Pull request #1173 opened by stevenmeker
December 4, 2024 03:02 20s new_alloc2
new_alloc2
December 4, 2024 03:02 20s
ProTip! You can narrow down the results and go further in time using created:<2024-12-04 or the other filters available.