Skip to content

Remove outdated files from Git #1772

Remove outdated files from Git

Remove outdated files from Git #1772

Triggered via push October 15, 2024 19:02
Status Success
Total duration 5m 16s
Artifacts 3

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
coverage_run Expired
77.7 KB
coverage_unit Expired
75.1 KB
poseidon Expired
15.8 MB