Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 11 mo ago
Took 1 min 35 sec on default-agent-jn8s2
Success

#16 (Jul 23, 2019, 10:33:45 AM)

PR #117: Support for abstract main c...
No changes.

GitHub pull request #117 of commit 424a5617d7f75c3dff1ddc98a9aceff89d90f9ae, no merge conflicts.