Skip to content

Revert "Update dependency: llvm-backend/src/main/native/llvm-backend" #3811

Revert "Update dependency: llvm-backend/src/main/native/llvm-backend"

Revert "Update dependency: llvm-backend/src/main/native/llvm-backend" #3811

Triggered via pull request December 11, 2023 16:34
Status Success
Total duration 51m 52s
Artifacts 1

test-pr.yml

on: pull_request
Version Sync
8s
Version Sync
Matrix: Nix flake
Check code formatting
1m 13s
Check code formatting
Performance Tests
11m 2s
Performance Tests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
kframework.deb Expired
157 MB