Skip to content
Build

[WIP] Remove unneeded file #13100

Sign in to view logs

[WIP] Remove unneeded file

[WIP] Remove unneeded file #13100

Triggered via pull request October 30, 2024 11:51
@MikesGlitchMikesGlitch
reopened #3755
MikesGlitch:remove-unneded-file
Status Success
Total duration 59s
Artifacts 4

build.yml

on: pull_request
api
48s
api
crdt
26s
crdt
web
50s
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