Skip to content
Test PR

Prepend to GHCRTS in KoreServer instead of overwrite #7812

Sign in to view logs

Prepend to GHCRTS in KoreServer instead of overwrite

Prepend to GHCRTS in KoreServer instead of overwrite #7812

Re-run triggered February 2, 2026 15:51
@tothtamas28tothtamas28
#4903
ghcrts-fix
Status Success
Total duration 35m 5s
Artifacts 4

test-pr.yml

on: pull_request
Matrix: Pyk: Code Quality & Unit Tests
Java: Linting
1m 31s
Java: Linting
Code Quality Checks
3s
Code Quality Checks
K: Ubuntu Jammy Frontend Package
11m 58s
K: Ubuntu Jammy Frontend Package
K: Source Build & Test
40m 27s
K: Source Build & Test
K: Ubuntu Jammy Package
29m 1s
K: Ubuntu Jammy Package
K: macOS Build & Test
37m 9s
K: macOS Build & Test
Matrix: K: Nix Build & Test
Matrix: Pyk: Nix Build
Pyk: Documentation
3m 31s
Pyk: Documentation
Pyk: Profiling
3m 21s
Pyk: Profiling
Pyk: Integration Tests
22m 57s
Pyk: Integration Tests
Pyk: Regression Tests
17m 29s
Pyk: Regression Tests
Fit to window
Zoom out
Zoom in

Annotations

1 warning
K: Nix Build & Test (MacM1, self-macos-12)
bash 5.3.9 is already installed and up-to-date. To reinstall 5.3.9, run: brew reinstall bash

Artifacts

Produced during runtime
Name Size Digest
kframework-frontend.deb Expired
76.6 MB
sha256:a016616095989c359278f616e59915bc4eabe0f98086be08ddb0b4e835b28cf5