Skip to content

Actions: Rexicon226/zob

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update mlugg ci version .github/workflows/ci.yaml #84: Commit eb47de3 pushed by Rexicon226
39s master
master
39s
update mlugg ci version .github/workflows/ci.yaml #83: Commit 1cae0fc pushed by Rexicon226
1m 21s master
master
1m 21s
update CI .github/workflows/ci.yaml #82: Commit a845fac pushed by Rexicon226
50s master
master
50s
compile back on 0.14 .github/workflows/ci.yaml #81: Commit 603d56c pushed by Rexicon226
31s master
master
31s
thing .github/workflows/ci.yaml #80: Commit f747a4d pushed by Rexicon226
1m 6s master
master
1m 6s
macos didn't change the casing! .github/workflows/ci.yaml #79: Commit 03e57d0 pushed by Rexicon226
47s master
master
47s
make tracing statically removed .github/workflows/ci.yaml #78: Commit 174f4d7 pushed by Rexicon226
32s master
master
32s
start p2 backend .github/workflows/ci.yaml #77: Commit 8b4294d pushed by Rexicon226
38s master
master
38s
bump CI version .github/workflows/ci.yaml #76: Commit ae44814 pushed by Rexicon226
1m 26s master
master
1m 26s
add support for operands in arocc .github/workflows/ci.yaml #75: Commit 5282ce9 pushed by Rexicon226
27s master
master
27s
add arocc frontend .github/workflows/ci.yaml #74: Commit 6c7480e pushed by Rexicon226
38s master
master
38s
update z3 dep .github/workflows/ci.yaml #73: Commit b082291 pushed by Rexicon226
31s master
master
31s
fixup comment .github/workflows/ci.yaml #72: Commit 0ba8df8 pushed by Rexicon226
53s master
master
53s
remove Ir .github/workflows/ci.yaml #71: Commit 380e6c2 pushed by Rexicon226
36s master
master
36s
remove Ir .github/workflows/ci.yaml #70: Commit 4e8369c pushed by Rexicon226
36s master
master
36s
update z3 dep .github/workflows/ci.yaml #69: Commit 82de722 pushed by Rexicon226
41s master
master
41s
update CI .github/workflows/ci.yaml #68: Commit 9ed4186 pushed by Rexicon226
46s master
master
46s
update CI .github/workflows/ci.yaml #67: Commit 0128044 pushed by Rexicon226
1d 0h 0m 2s master
master
1d 0h 0m 2s
integrate scc .github/workflows/ci.yaml #66: Commit ca34038 pushed by Rexicon226
2s master
master
2s
better naming .github/workflows/ci.yaml #65: Commit cc0e43e pushed by Rexicon226
2s master
master
2s
cleanup .github/workflows/ci.yaml #64: Commit 7f432e9 pushed by Rexicon226
2s master
master
2s
correct smt matching on builtins .github/workflows/ci.yaml #63: Commit ed9010d pushed by Rexicon226
37s master
master
37s
disable branch folding for now .github/workflows/ci.yaml #62: Commit ef1765a pushed by Rexicon226
44s master
master
44s
add basic branch folding .github/workflows/ci.yaml #61: Commit 559e79f pushed by Rexicon226
44s master
master
44s
huge perf increase, by using a faster allocator in release modes .github/workflows/ci.yaml #60: Commit fd603bd pushed by Rexicon226
35s master
master
35s