Skip to content
This repository has been archived by the owner on Feb 15, 2024. It is now read-only.

Update dependency: deps/pyk_release #717

Update dependency: deps/pyk_release

Update dependency: deps/pyk_release #717

Triggered via pull request January 18, 2024 17:10
Status Failure
Total duration 52s
Artifacts

check.yml

on: pull_request
Code Quality Checks
39s
Code Quality Checks
Unit Tests
0s
Unit Tests
Integration Tests
0s
Integration Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
Code Quality Checks
Process completed with exit code 2.