Consolidate kernel
and kore
modules
#5014
test-pr.yml
on: pull_request
Matrix: Pyk: Unit Tests
Java: Linting
1m 23s
Pyk: Code Quality
1m 8s
Pyk: Documentation
57s
K: Source Build & Test
17m 55s
Matrix: K: Nix Build & Test
Matrix: Pyk: Nix Build
Pyk: Profiling
1m 35s
Pyk: Integration Tests
27m 52s
Pyk: Regression Tests
17m 53s
K: Profiling
12m 0s
Annotations
1 warning
K: Nix Build & Test (self-hosted, linux, normal)
Cachix Daemon is not supported by this version of Cachix (1.6.1). Ignoring the 'useDaemon' option.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
kframework.deb
Expired
|
198 MB |
|