Test PR

Remove mavenix take 2 #3514

Triggered via pull request November 10, 2023 14:07

edited #3806

sam/remove-mavenix

Status Success

Total duration 36m 13s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	145 MB