Skip to content

Actions: alternative-intelligence-cp/nitpick

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
489 workflow runs
489 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
docs: update package count Nitpick CI #489: Commit b58f0ea pushed by shaglama
7m 52s dev-0.67.x
dev-0.67.x
7m 52s
v0.66.5-v0.66.8: Z3 Formal Verification Suite Nitpick CI #488: Commit 53c72af pushed by shaglama
6m 20s main
main
6m 20s
v0.66.4: Proof diagnostics & counterexamples Nitpick CI #487: Commit c01f2b6 pushed by shaglama
6m 47s main
main
6m 47s
v0.66.3: Loop invariant inductive step (Z3-002/0.66.3) Nitpick CI #486: Commit 12134c9 pushed by shaglama
8m 2s main
main
8m 2s
v0.66.1: Z3-002 prove path conditions + Z3-010 SMT CI regression suite Nitpick CI #485: Commit 685b580 pushed by shaglama
8m 0s main
main
8m 0s
Fix nitty submodule pointer Nitpick CI #484: Commit 5b4df5b pushed by shaglama
6m 42s main
main
6m 42s
removed Aria rebrand notice from README.md Nitpick CI #483: Commit 45bb99f pushed by shaglama
13s main
main
13s
Fix CI: Add libz3-dev dependency Nitpick CI #482: Commit 7099397 pushed by shaglama
16s main
main
16s
Cleanup root directory and implement Z3 caching Nitpick CI #481: Commit faef95c pushed by shaglama
10s main
main
10s
Release v0.64.4: Caching, Testing & Cross-Compilation Nitpick CI #480: Commit d58e1ab pushed by shaglama
11s main
main
11s
Release v0.63.0: Polish & Pedantic Nitpick CI #479: Commit 39edf74 pushed by shaglama
7m 58s main
main
7m 58s
ATOMIC-CAS-PTR-001: add atomic_from_ptr<T>(int64) builtin (v0.61.104) Nitpick CI #478: Commit 0181bcc pushed by shaglama
6m 28s main
main
6m 28s
ATOMIC-NATIVE-001: replace C-runtime atomic shims with native LLVM IR Nitpick CI #477: Commit d0853b2 pushed by shaglama
7m 50s main
main
7m 50s
fix(codegen): pointer-indexed reads used wrong GEP stride for non-i64… Nitpick CI #476: Commit 76125f7 pushed by shaglama
7m 59s main
main
7m 59s
fix(generics): add CAST to cloneAST/substituteTypes — GEN-CAST-001/002 Nitpick CI #475: Commit 0f2a128 pushed by shaglama
8m 3s main
main
8m 3s
fix(codegen): GEN-CHAIN-001 extend arena UFCS to handle pointer deref… Nitpick CI #474: Commit f83e089 pushed by shaglama
7m 32s main
main
7m 32s
Fix generics parsing and UFCS dispatch Nitpick CI #473: Commit fea3e4f pushed by shaglama
4m 28s main
main
4m 28s
Fix compiler bugs: global array initialization, nested struct writes,… Nitpick CI #472: Commit 36de6be pushed by shaglama
45s main
main
45s
fix(build): remove global AVX512 compiler flags Nitpick CI #471: Commit 1b39738 pushed by shaglama
7m 41s main
main
7m 41s
fix(build): remove forced AVX flags to prevent SIGILL on non-AVX512 CPUs Nitpick CI #470: Commit 776ba74 pushed by shaglama
7m 17s main
main
7m 17s
fix(build): remove orphaned debug_lengths.cpp from CMakeLists Nitpick CI #469: Commit 77e55c2 pushed by shaglama
7m 23s main
main
7m 23s
chore: A84/A83 Allocator Subsystem Polish and Hardening Nitpick CI #468: Commit 5a16eb0 pushed by shaglama
48s main
main
48s
fix(runtime/gc): guard gray_worklist.clear() with gray_mutex in STW m… Nitpick CI #467: Commit 4dd41d1 pushed by shaglama
17s main
main
17s
fix: Silence lossy float cast warnings in fmt module by using @cast_u… Nitpick CI #466: Commit 2c10e03 pushed by shaglama
15s main
main
15s
Merge branch 'dev-0.61.x' into main Nitpick CI #465: Commit 0079943 pushed by shaglama
15s main
main
15s