Skip to content
coverage

Fix save_filename undefined when deleting a buffer #56

Sign in to view logs

Fix save_filename undefined when deleting a buffer

Fix save_filename undefined when deleting a buffer #56

Re-run triggered January 21, 2025 15:22
@yegappanyegappan
#17
bennyyip:master
Status Success
Total duration 1m 40s
Artifacts –

coverage.yml

on: pull_request
linux
1m 28s
linux
Fit to window
Zoom out
Zoom in