Test PR

hot fix #3791

Sign in to view logs

Triggered via pull request December 8, 2023 00:17

asavienko

edited #3859

git-pages/hot-fix

Status Success

Total duration 38m 12s

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