fix: pass --unsafe-prelude to import-check #3

Merged
ober merged 1 commit from fix/unsafe-prelude-import-check into master 2026-08-06 22:19:48 -04:00
Owner

Adds --unsafe-prelude flag to import-check JERBUILD exec.

Adds --unsafe-prelude flag to import-check JERBUILD exec.
fix: pass --unsafe-prelude to import-check exec
Some checks failed
version-policy / required (pull_request) Failing after 3s
required-ci / required (pull_request) Failing after 7s
01a2880e66
ober scheduled this pull request to auto merge when all checks succeed 2026-08-06 22:16:06 -04:00
ober merged commit da420487c8 into master 2026-08-06 22:19:48 -04:00
ober referenced this pull request from a commit 2026-08-06 22:19:49 -04:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ober/jerboa-sinatra!3
No description provided.