Check out PL code explicitly when building GitHub pages · runtimeverification/k@270a9f1

Triggered via pull request January 19, 2024 16:12

Baltoli

synchronize #3917

fix-gh-build

Status Success

Total duration 35m 10s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	158 MB