Skip to content

fix(web): use REST API endpoint for fetching PR diff instead of web diff_url #195

fix(web): use REST API endpoint for fetching PR diff instead of web diff_url

fix(web): use REST API endpoint for fetching PR diff instead of web diff_url #195

This workflow is awaiting approval from a maintainer in #1302
Triggered via pull request June 11, 2026 10:14
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #1302

lint.yml

on: pull_request
lint
lint
Fit to window
Zoom out
Zoom in