Test PR

hot fix #3792

Sign in to view logs

Re-run triggered December 8, 2023 01:41

asavienko

#3860

git-pages/hot-fix

Status Success

Total duration 1h 22m 24s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Check Java code formatting

K Ubuntu Jammy Package

Performance Tests

Artifacts

Produced during runtime

Name	Size
kframework.deb Expired	124 MB