CI

chore: remove auto-save-graphs file #557

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push February 13, 2025 15:20

F-star

main

Status Success

Total duration 1m 29s

Artifacts –

main.yml

on: push