Skip to content
[Jenkins]Jenkins
log in
Started 3 mo 13 days ago
Took 11 sec
Success

#169 (Jan 15, 2024, 9:22:09 AM)

Changes
  1. #52: Add GUI button to cancel compilation (details)