[acl2/acl2] de6935: [build] Add sbcl-only as a cert_param

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: de69359deaa67b92f32fb8ff7a7d2a007342de21
https://github.com/acl2/acl2/commit/de69359deaa67b92f32fb8ff7a7d2a007342de21
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-03-26 (Thu, 26 Mar 2026)

Changed paths:
M books/GNUmakefile
M books/build/cert.pl
M books/build/doc.lisp

Log Message:
-----------
[build] Add sbcl-only as a cert_param



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: de69359deaa67b92f32fb8ff7a7d2a007342de21
https://github.com/acl2/acl2/commit/de69359deaa67b92f32fb8ff7a7d2a007342de21
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-03-26 (Thu, 26 Mar 2026)

Changed paths:
M books/GNUmakefile
M books/build/cert.pl
M books/build/doc.lisp

Log Message:
-----------
[build] Add sbcl-only as a cert_param

Commit: 778c95fd35e96049a516fd2601e68590def74145
https://github.com/acl2/acl2/commit/778c95fd35e96049a516fd2601e68590def74145
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-03-26 (Thu, 26 Mar 2026)

Changed paths:
M books/GNUmakefile
M books/build/cert.pl
M books/build/doc.lisp

Log Message:
-----------

Merge commit 'de69359deaa67b92f32fb8ff7a7d2a007342de21' into HEAD


Compare: https://github.com/acl2/acl2/compare/a0b79b6e00bd...778c95fd35e9

[acl2buildserver]

Branch: refs/heads/testing