Skip to content

tarantool: fix FuzzIntrospector#14962

Merged
DavidKorczynski merged 1 commit intogoogle:masterfrom
ligurio:ligurio/gh-xxxx-fix-fuzz-introspector
Feb 18, 2026
Merged

tarantool: fix FuzzIntrospector#14962
DavidKorczynski merged 1 commit intogoogle:masterfrom
ligurio:ligurio/gh-xxxx-fix-fuzz-introspector

Conversation

@ligurio
Copy link
Contributor

@ligurio ligurio commented Feb 17, 2026

Related to ossf/fuzz-introspector#2278
Related to #13226

@github-actions
Copy link

ligurio is either the primary contact or is in the CCs list of projects/tarantool.
ligurio has previously contributed to projects/tarantool. The previous PR was #14922

@ligurio ligurio force-pushed the ligurio/gh-xxxx-fix-fuzz-introspector branch 2 times, most recently from b6f715a to 5dd19ef Compare February 17, 2026 15:57
@ligurio ligurio force-pushed the ligurio/gh-xxxx-fix-fuzz-introspector branch from 5dd19ef to 1e98a3e Compare February 17, 2026 18:13
Copy link
Collaborator

@DavidKorczynski DavidKorczynski left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

let's land this for now and we can revert once the fuzz-introspector PR is through and we've updated FI here.

@DavidKorczynski DavidKorczynski merged commit 68c2068 into google:master Feb 18, 2026
16 checks passed
@ligurio ligurio deleted the ligurio/gh-xxxx-fix-fuzz-introspector branch February 18, 2026 13:33
@ligurio
Copy link
Contributor Author

ligurio commented Feb 20, 2026

Unfortunately, the proposed patch is applied after the failure.

The infra start building tarantool dockerfile, then builds FuzzIntrospector and then start FI. build.sh for tarantool was not executed at all:

See https://oss-fuzz-build-logs.storage.googleapis.com/log-15d0ed2f-19f6-4b31-9075-438f1250b9a7.txt

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants