Build Docker image

use \uFFFF as upper range for PHP identifiers #2957

Sign in to view logs

Summary
Jobs
- ubuntu
Run details
- Usage
- Workflow file

Triggered via pull request February 26, 2025 13:40

vladak

synchronize #4735

vladak:jflex_php_unicode_range

Status Success

Total duration 3m 24s

Artifacts –

docker.yml

on: pull_request