Switch GitHub PR gates back to using pull_request event

microsoft / openvmm

Home of OpenVMM and OpenHCL.

http://openvmm.dev/

MIT License

1.36k stars 59 forks source link

Closed benhillis closed 4 days ago

benhillis commented 4 days ago

This change reverts back to using pull_request for the main GitHub PR workflow.