Skip to content
Back to pull request #3755

[WIP] Remove unneeded file #13099

Sign in to view logs

[WIP] Remove unneeded file

[WIP] Remove unneeded file #13099

Triggered via pull request October 30, 2024 11:38
@MikesGlitchMikesGlitch
synchronize #3755
MikesGlitch:remove-unneded-file
Status Success
Total duration 1m 4s
Artifacts 4

build.yml

on: pull_request
api
44s
api
crdt
29s
crdt
web
54s
web
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
actual-api
319 KB
actual-crdt
14.7 KB
actual-web
5.62 MB
build-stats
727 KB