Continuous Integration

Remove `StatsFile.tla` #774

Sign in to view logs

Triggered via pull request October 3, 2024 09:02

achamayou

synchronize #6519

rm-statsfile

Status Success

Total duration 29m 3s

Artifacts 1

ci.yml

on: pull_request

Format and License Checks

Matrix: CI

Artifacts

Produced during runtime

Name	Size
logs-virtual	1.34 MB