Continuous Integration

chore: remove dev flag from discord #1640

Sign in to view logs

Triggered via pull request January 1, 2026 17:59

opened #1118

remove-flag-discord

Status Success

Total duration 2m 34s

Artifacts –

continuous-integration.yml

on: pull_request

Matrix: build

Matrix: Lint