Skip to content

Actions: runtimeverification/llvm-backend

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use kore_alloc_always_gc instead of malloc when building config Change PR target to master #102: Pull request #1178 opened by dwightguth
December 6, 2024 15:08 16s leak
leak
December 6, 2024 15:08 16s
Change arena end ptr Run LLVM backend tests #2462: Pull request #1177 synchronize by stevenmeker
December 6, 2024 02:54 6h 3m 11s change_arena_end_ptr
change_arena_end_ptr
December 6, 2024 02:54 6h 3m 11s
Change arena end ptr Code Checks #3340: Pull request #1177 synchronize by stevenmeker
December 6, 2024 02:54 14m 48s change_arena_end_ptr
change_arena_end_ptr
December 6, 2024 02:54 14m 48s
Change arena end ptr Code Checks #3339: Pull request #1177 edited by rv-jenkins
December 6, 2024 02:46 5m 6s change_arena_end_ptr
change_arena_end_ptr
December 6, 2024 02:46 5m 6s
Change arena end ptr Run LLVM backend tests #2461: Pull request #1177 edited by rv-jenkins
December 6, 2024 02:46 11m 14s change_arena_end_ptr
change_arena_end_ptr
December 6, 2024 02:46 11m 14s
Change arena end ptr Change PR target to master #101: Pull request #1177 opened by stevenmeker
December 6, 2024 02:46 16s change_arena_end_ptr
change_arena_end_ptr
December 6, 2024 02:46 16s
Initial changes to garbage collection Code Checks #3338: Pull request #1174 synchronize by stevenmeker
December 6, 2024 02:17 5m 10s gc_refactor
gc_refactor
December 6, 2024 02:17 5m 10s
Initial changes to garbage collection Run LLVM backend tests #2460: Pull request #1174 synchronize by stevenmeker
December 6, 2024 02:17 6h 0m 40s gc_refactor
gc_refactor
December 6, 2024 02:17 6h 0m 40s
Initial changes to garbage collection Code Checks #3337: Pull request #1174 synchronize by stevenmeker
December 6, 2024 00:17 4m 59s gc_refactor
gc_refactor
December 6, 2024 00:17 4m 59s
Initial changes to garbage collection Run LLVM backend tests #2459: Pull request #1174 synchronize by stevenmeker
December 6, 2024 00:17 2h 0m 9s gc_refactor
gc_refactor
December 6, 2024 00:17 2h 0m 9s
New GC strategy. Code Checks #3336: Pull request #1175 synchronize by mariaKt
December 5, 2024 23:46 13m 59s gc-strategy
gc-strategy
December 5, 2024 23:46 13m 59s
New GC strategy. Run LLVM backend tests #2458: Pull request #1175 synchronize by mariaKt
December 5, 2024 23:46 17m 21s gc-strategy
gc-strategy
December 5, 2024 23:46 17m 21s
New GC strategy. Code Checks #3335: Pull request #1175 synchronize by mariaKt
December 5, 2024 23:39 7m 24s gc-strategy
gc-strategy
December 5, 2024 23:39 7m 24s
New GC strategy. Run LLVM backend tests #2457: Pull request #1175 synchronize by mariaKt
December 5, 2024 23:39 7m 25s gc-strategy
gc-strategy
December 5, 2024 23:39 7m 25s
New GC strategy. Run LLVM backend tests #2456: Pull request #1175 synchronize by mariaKt
December 5, 2024 23:32 7m 28s gc-strategy
gc-strategy
December 5, 2024 23:32 7m 28s
New GC strategy. Code Checks #3334: Pull request #1175 synchronize by mariaKt
December 5, 2024 23:32 7m 27s gc-strategy
gc-strategy
December 5, 2024 23:32 7m 27s
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