New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Plugin API: a proper File Stream API #2227

Merged

ivan-mogilko merged 9 commits into adventuregamestudio:master from ivan-mogilko:361--pluginapifile

Nov 19, 2023

Merged

Plugin API: a proper File Stream API #2227

Plugin API: made IAGSStream Seek return the new position

Cirrus CI / build_linux_make succeeded Nov 19, 2023 in 2m 20s

Task Summary

Task successfully finished!

Details

ℹ️ Scheduling was delayed due to a concurrency limit on community tasks

✅ 00:02 clone
✅ 00:01 setup_destdir
✅ 02:00 build
✅ 00:03 build_compiler
✅ 00:08 build_tools
✅ 00:01 binaries

View more details on Cirrus CI