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 #716

Update dependency: deps/pyk_release

Update dependency: deps/pyk_release #716

Triggered via pull request January 18, 2024 00:12
Status Failure
Total duration 47s
Artifacts

check.yml

on: pull_request
Code Quality Checks
37s
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.