Skip to content

Enable ci disable cd - #1162

Merged
anvacaru merged 8 commits into
masterfrom
enable-ci-disable-cd
Aug 12, 2026
Merged

Enable ci disable cd#1162
anvacaru merged 8 commits into
masterfrom
enable-ci-disable-cd

.github/workflows/test-pr.yml: declare k-framework cache as a substit…

ec4a1e8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Profiling
succeeded Aug 12, 2026 in 7m 31s