Skip to content
PR Labels

Update to egui 0.31.0 #115

Sign in to view logs

Update to egui 0.31.0

Update to egui 0.31.0 #115

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

labels.yml

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