Remove usages of deprecated ANTLRException
#241
Merged
ci.jenkins.io / Jenkins
succeeded
Feb 27, 2024 in 13m 42s
Success
Details
- linux-21 (6 ms)
- Checkout (linux-21) (21 sec)
- Build (linux-21) (5 min 30 sec)
- Archive (linux-21) (31 sec)
- windows-17 (13 min)
- Checkout (windows-17) (16 sec)
- Build (windows-17) (8 min 58 sec)
- Archive (windows-17) (0.7 sec)
- Deploy (5.1 sec)
Loading