Kani CI

chore: update dependencies #57

Sign in to view logs

Summary
Jobs
- run-kani
Run details
- Usage
- Workflow file

Triggered via push November 8, 2024 20:54

acgetchell

main

Status Failure

Total duration 6h 0m 25s

Artifacts –

kani.yml

on: push

Annotations

1 error

The job running on runner GitHub Actions 24 has exceeded the maximum execution time of 360 minutes.