[acl2/acl2] 75e774: Temporarily remove new "make" target projects/acl2...
0 views
Skip to first unread message
MattKaufmann
Mar 4, 2026, 1:46:00 PM (12 hours ago) Mar 4
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 75e7749218320c4a420d78e0733046af8128670d
https://github.com/acl2/acl2/commit/75e7749218320c4a420d78e0733046af8128670d
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)
Changed paths:
M books/GNUmakefile
Log Message:
-----------
Temporarily remove new "make" target projects/acl2-in-hol/tests/success.txt until a problem with it is addressed (perhaps need csh installed on leeroy2).
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 75e7749218320c4a420d78e0733046af8128670d
https://github.com/acl2/acl2/commit/75e7749218320c4a420d78e0733046af8128670d
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-03-04 (Wed, 04 Mar 2026)
Changed paths:
M books/GNUmakefile
Log Message:
-----------
Temporarily remove new "make" target projects/acl2-in-hol/tests/success.txt until a problem with it is addressed (perhaps need csh installed on leeroy2).
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
acl2buildserver
Mar 4, 2026, 1:46:39 PM (12 hours ago) Mar 4
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages