Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-go@v3, actions/cache@v3, actions/configure-pages@v3, actions/upload-artifact@v3, actions/deploy-pages@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

mode of 'website/public/docs.html' changed from 0600 (rw-------) to 0644 (rw-r--r--)

mode of 'website/public/examples.html' changed from 0600 (rw-------) to 0644 (rw-r--r--)

mode of 'website/public/news.html' changed from 0600 (rw-------) to 0644 (rw-r--r--)

mode of 'website/public/assets/js/snap.svg-min.js' changed from 0600 (rw-------) to 0644 (rw-r--r--)

mode of 'website/public/assets/js/toc.js' changed from 0600 (rw-------) to 0644 (rw-r--r--)

mode of 'website/public/assets/js/placement.js' changed from 0600 (rw-------) to 0644 (rw-r--r--)

mode of 'website/public/assets/js/copy.js' changed from 0600 (rw-------) to 0644 (rw-r--r--)

mode of 'website/public/assets/images/github_icon.svg' changed from 0600 (rw-------) to 0644 (rw-r--r--)

mode of 'website/public/assets/images/trace_multi.png' changed from 0600 (rw-------) to 0644 (rw-r--r--)

mode of 'website/public/assets/images/trace_gke.png' changed from 0600 (rw-------) to 0644 (rw-r--r--)