Skip to content

Actions: runtimeverification/llvm-backend

Actions

Run LLVM backend tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
67 workflow runs
67 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
Clear immer transience stamps during GC migration Run LLVM backend tests #2634: Pull request #1220 edited by anvacaru
35s anvacaru/mem-corruption-fix
anvacaru/mem-corruption-fix
35s
Clear immer transience stamps during GC migration Run LLVM backend tests #2633: Pull request #1220 edited by anvacaru
3m 45s anvacaru/mem-corruption-fix
anvacaru/mem-corruption-fix
3m 45s
Allocate block-exceeding tokens directly in the old generation Run LLVM backend tests #2632: Pull request #1219 synchronize by Robertorosmaninho
25m 21s fix-large-token-young-gen
fix-large-token-young-gen
25m 21s
Allocate block-exceeding tokens directly in the old generation Run LLVM backend tests #2631: Pull request #1219 synchronize by Robertorosmaninho
24m 14s fix-large-token-young-gen
fix-large-token-young-gen
24m 14s
Allocate block-exceeding tokens directly in the old generation Run LLVM backend tests #2630: Pull request #1219 synchronize by Robertorosmaninho
1m 15s fix-large-token-young-gen
fix-large-token-young-gen
1m 15s
Allocate block-exceeding tokens directly in the old generation Run LLVM backend tests #2629: Pull request #1219 synchronize by Robertorosmaninho
23m 31s fix-large-token-young-gen
fix-large-token-young-gen
23m 31s
Allocate block-exceeding tokens directly in the old generation Run LLVM backend tests #2628: Pull request #1219 synchronize by Robertorosmaninho
6m 50s fix-large-token-young-gen
fix-large-token-young-gen
6m 50s
Allocate block-exceeding tokens directly in the old generation Run LLVM backend tests #2627: Pull request #1219 opened by Robertorosmaninho
6m 36s fix-large-token-young-gen
fix-large-token-young-gen
6m 36s
Fix kore_block_dump Run LLVM backend tests #2626: Pull request #1218 synchronize by tothtamas28
25m 26s fix-block-dump
fix-block-dump
25m 26s
Fix kore_block_dump Run LLVM backend tests #2625: Pull request #1218 edited by tothtamas28
2m 36s fix-block-dump
fix-block-dump
2m 36s
Fix kore_block_dump Run LLVM backend tests #2624: Pull request #1218 opened by tothtamas28
34s fix-block-dump
fix-block-dump
34s
Escape kore when used as symbol name Run LLVM backend tests #2623: Pull request #1217 synchronize by jberthold
18m 23s HOTFIX-escape-symbol-names
HOTFIX-escape-symbol-names
18m 23s
Escape kore when used as symbol name Run LLVM backend tests #2622: Pull request #1217 edited by jberthold
1m 47s HOTFIX-escape-symbol-names
HOTFIX-escape-symbol-names
1m 47s
Escape kore when used as symbol name Run LLVM backend tests #2621: Pull request #1217 synchronize by jberthold
1h 20m 51s HOTFIX-escape-symbol-names
HOTFIX-escape-symbol-names
1h 20m 51s
Escape kore when used as symbol name Run LLVM backend tests #2620: Pull request #1217 opened by jberthold
20m 58s HOTFIX-escape-symbol-names
HOTFIX-escape-symbol-names
20m 58s
Update LLVM version from 15 to 17 (from develop) Run LLVM backend tests #2619: Pull request #1215 edited by FWBlueWizard
16m 53s update/llvm-17-from-develop
update/llvm-17-from-develop
16m 53s
Update LLVM version from 15 to 17 (from develop) Run LLVM backend tests #2618: Pull request #1215 opened by FWBlueWizard
17m 47s update/llvm-17-from-develop
update/llvm-17-from-develop
17m 47s
Update LLVM version from 15 to 17 Run LLVM backend tests #2617: Pull request #1214 synchronize by FWBlueWizard
17m 45s update/llvm-17
update/llvm-17
17m 45s
Update LLVM version from 15 to 17 Run LLVM backend tests #2616: Pull request #1214 edited by rv-jenkins
21m 48s update/llvm-17
update/llvm-17
21m 48s
bytes2hexstring hook Run LLVM backend tests #2615: Pull request #1213 synchronize by RaoulSchaffranek
31m 41s raoul/bytes2hexstring-dev
raoul/bytes2hexstring-dev
31m 41s
bytes2hexstring hook Run LLVM backend tests #2614: Pull request #1213 synchronize by RaoulSchaffranek
21m 20s raoul/bytes2hexstring-dev
raoul/bytes2hexstring-dev
21m 20s
bytes2hexstring hook Run LLVM backend tests #2613: Pull request #1213 synchronize by RaoulSchaffranek
9m 55s raoul/bytes2hexstring-dev
raoul/bytes2hexstring-dev
9m 55s
bytes2hexstring hook Run LLVM backend tests #2612: Pull request #1213 synchronize by RaoulSchaffranek
2m 44s raoul/bytes2hexstring-dev
raoul/bytes2hexstring-dev
2m 44s
bytes2hexstring hook Run LLVM backend tests #2611: Pull request #1213 edited by RaoulSchaffranek
31m 6s raoul/bytes2hexstring-dev
raoul/bytes2hexstring-dev
31m 6s
bytes2hexstring hook Run LLVM backend tests #2610: Pull request #1213 edited by RaoulSchaffranek
14m 36s raoul/bytes2hexstring-dev
raoul/bytes2hexstring-dev
14m 36s