Skip to content
PR Labels

Update to egui 0.31.0 #114

Sign in to view logs

Update to egui 0.31.0

Update to egui 0.31.0 #114

Triggered via pull request February 5, 2025 08:37
@lucasmerlinlucasmerlin
synchronize #72
Wumpf:egui-update
Status Success
Total duration 10s
Artifacts –

labels.yml

on: pull_request
label
3s
label
Fit to window
Zoom out
Zoom in