CI

Enhance inject route utilities #1311

# to view logs

Summary
Jobs
- main
Run details
- Usage
- Workflow file

Triggered via pull request February 14, 2025 10:57

Dafnik

synchronize #450

Dafnik:refactor/inject-route

Status Success

Total duration 2m 50s

Artifacts –

ci.yml

on: pull_request

Annotations

1 warning

Cache save failed.