Skip to content
Continuous integration

allow director and unknown editor types #81

Sign in to view logs

allow director and unknown editor types

allow director and unknown editor types #81

Triggered via push September 26, 2024 15:11
@PgBielPgBiel
pushed 66ec247
extra-editortypes
Status Success
Total duration 31s
Artifacts –

ci.yml

on: push
test
17s
test
Check clippy, formatting, and documentation
20s
Check clippy, formatting, and documentation
Fit to window
Zoom out
Zoom in