[acl2/acl2] d9c040: Merge pull request #782 from acl2/testing
0 views
Skip to first unread message
GitHub
Oct 12, 2017, 4:22:18 PM10/12/17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: d9c04010cb61978c0e14f540038a99ea7a240674
https://github.com/acl2/acl2/commit/d9c04010cb61978c0e14f540038a99ea7a240674
Author: David L. Rager <rag...@gmail.com>
Date: 2017-10-12 (Thu, 12 Oct 2017)
Changed paths:
M books/build/jenkins/build-multi.sh
Log Message:
-----------
Merge pull request #782 from acl2/testing
Hack to attempt unbreaking multi jenkins build
Home: https://github.com/acl2/acl2
Commit: d9c04010cb61978c0e14f540038a99ea7a240674
https://github.com/acl2/acl2/commit/d9c04010cb61978c0e14f540038a99ea7a240674
Author: David L. Rager <rag...@gmail.com>
Date: 2017-10-12 (Thu, 12 Oct 2017)
Changed paths:
M books/build/jenkins/build-multi.sh
Log Message:
-----------
Merge pull request #782 from acl2/testing
Hack to attempt unbreaking multi jenkins build
Reply all
Reply to author
Forward
0 new messages