Build

feat(languages): syntax highlighting for Metamath #28158

Sign in to view logs

This workflow is awaiting approval from a maintainer in #15682

Triggered via pull request April 30, 2026 08:30

m4dh0rs3

synchronize #15682

m4dh0rs3:master

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #15682

build.yml

on: pull_request

Matrix: Test Suite

Waiting for pending jobs