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

Update dependency: deps/pyk_release

Update dependency: deps/pyk_release #684

Triggered via pull request December 21, 2023 11:31
Status Failure
Total duration 49s
Artifacts

check.yml

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