Github Pages

Editor: update to egui 0.31 and use semi-custom modals #48

Sign in to view logs

Triggered via push February 9, 2025 13:59

master

Status Success

Total duration 1m 52s

Artifacts –

pages.yml

on: push

build-github-pages