All workflows deps.yml test.yml

Actor

All actors programmerjake

Status

All status success failure waiting running

WIP implementing reg_alloc

test.yml #7 -Commit b51109f4f6 pushed by programmerjake

master

2024-11-06 02:05:48 +00:00

25m51s

add repository to cache key

test.yml #6 -Commit 265b5a9cec pushed by programmerjake

master

2024-10-31 08:33:58 +00:00

4h31m55s

split deps out into separate job with cache and build z3 4.13.3

test.yml #5 -Commit 4c94f5d91a pushed by programmerjake

master

2024-10-22 07:19:59 +00:00

3h44m7s

remove now-unnecessary memory-based parallelism limiting

test.yml #4 -Commit e5f59939cc pushed by programmerjake

master

2024-10-16 07:25:27 +00:00

33m7s

add formal proof for unit_free_regs_tracker

test.yml #3 -Commit aaa2cb193e pushed by programmerjake

master

2024-10-15 12:52:24 +00:00

3h11m43s

WIP adding register allocator

test.yml #2 -Commit cb5855589f pushed by programmerjake

master

2024-10-15 05:07:29 +00:00

46m24s

add forgejo CI

test.yml #1 -Commit d0aa86e335 pushed by programmerjake

master

2024-10-15 00:18:22 +00:00

46m49s