Skip to content

Actions: runtimeverification/llvm-backend

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New allocation algorithm Run LLVM backend tests #2441: Pull request #1166 synchronize by stevenmeker
December 2, 2024 20:29 22m 28s new_alloc
new_alloc
December 2, 2024 20:29 22m 28s
New allocation algorithm Code Checks #3319: Pull request #1166 synchronize by stevenmeker
December 2, 2024 20:29 15m 47s new_alloc
new_alloc
December 2, 2024 20:29 15m 47s
do not garbage collect empty map/list/set Run LLVM backend tests #2440: Pull request #1168 synchronize by dwightguth
December 2, 2024 18:15 28m 7s eternal_empty_collections
eternal_empty_collections
December 2, 2024 18:15 28m 7s
do not garbage collect empty map/list/set Code Checks #3318: Pull request #1168 synchronize by dwightguth
December 2, 2024 18:15 8m 12s eternal_empty_collections
eternal_empty_collections
December 2, 2024 18:15 8m 12s
Set Version: 0.1.109 Master Push #387: Commit 19cc319 pushed by rv-jenkins
December 2, 2024 17:31 8m 4s master
master
December 2, 2024 17:31 8m 4s
Minor optimization to search (#1170) Bump version and make master job #107: Commit 1d701f5 pushed by dwightguth
December 2, 2024 17:31 19s develop
develop
December 2, 2024 17:31 19s
Minor optimization to search Code Checks #3317: Pull request #1170 synchronize by dwightguth
December 2, 2024 16:47 12m 39s search
search
December 2, 2024 16:47 12m 39s
Minor optimization to search Run LLVM backend tests #2439: Pull request #1170 synchronize by dwightguth
December 2, 2024 16:47 16m 53s search
search
December 2, 2024 16:47 16m 53s
Minor optimization to search Run LLVM backend tests #2438: Pull request #1170 edited by dwightguth
November 27, 2024 22:34 30m 50s search
search
November 27, 2024 22:34 30m 50s
Minor optimization to search Code Checks #3316: Pull request #1170 edited by dwightguth
November 27, 2024 22:34 13m 40s search
search
November 27, 2024 22:34 13m 40s
Minor optimization to search Run LLVM backend tests #2437: Pull request #1170 edited by dwightguth
November 27, 2024 22:34 50s search
search
November 27, 2024 22:34 50s
Minor optimization to search Code Checks #3315: Pull request #1170 edited by dwightguth
November 27, 2024 22:34 46s search
search
November 27, 2024 22:34 46s
Minor optimization to search Code Checks #3314: Pull request #1170 synchronize by dwightguth
November 27, 2024 22:33 31s search
search
November 27, 2024 22:33 31s
Minor optimization to search Run LLVM backend tests #2436: Pull request #1170 synchronize by dwightguth
November 27, 2024 22:33 33s search
search
November 27, 2024 22:33 33s
Minor optimization to search Run LLVM backend tests #2435: Pull request #1170 edited by rv-jenkins
November 27, 2024 19:21 17m 42s search
search
November 27, 2024 19:21 17m 42s
Minor optimization to search Code Checks #3313: Pull request #1170 edited by rv-jenkins
November 27, 2024 19:21 3m 29s search
search
November 27, 2024 19:21 3m 29s
Minor optimization to search Change PR target to master #96: Pull request #1170 opened by dwightguth
November 27, 2024 19:21 19s search
search
November 27, 2024 19:21 19s
Set Version: 0.1.108 Master Push #386: Commit 7230a44 pushed by rv-jenkins
November 27, 2024 18:44 9m 50s master
master
November 27, 2024 18:44 9m 50s
further refactoring allocation code (#1165) Bump version and make master job #106: Commit 3a0b23d pushed by dwightguth
November 27, 2024 18:44 20s develop
develop
November 27, 2024 18:44 20s
further refactoring allocation code Code Checks #3312: Pull request #1165 synchronize by dwightguth
November 27, 2024 18:08 12m 8s alloc_refactor2
alloc_refactor2
November 27, 2024 18:08 12m 8s
further refactoring allocation code Run LLVM backend tests #2434: Pull request #1165 synchronize by dwightguth
November 27, 2024 18:07 36m 5s alloc_refactor2
alloc_refactor2
November 27, 2024 18:07 36m 5s
Set Version: 0.1.107 Master Push #385: Commit e7d5b04 pushed by rv-jenkins
November 27, 2024 17:51 8m 19s master
master
November 27, 2024 17:51 8m 19s
Don't make static tokens constant (#1169) Bump version and make master job #105: Commit 03f0fa6 pushed by dwightguth
November 27, 2024 17:50 21s develop
develop
November 27, 2024 17:50 21s
New allocation algorithm Run LLVM backend tests #2433: Pull request #1166 synchronize by stevenmeker
November 27, 2024 03:15 19m 15s new_alloc
new_alloc
November 27, 2024 03:15 19m 15s
New allocation algorithm Code Checks #3311: Pull request #1166 synchronize by stevenmeker
November 27, 2024 03:15 14m 59s new_alloc
new_alloc
November 27, 2024 03:15 14m 59s
ProTip! You can narrow down the results and go further in time using created:<2024-11-27 or the other filters available.