Merge pull request #64 from tweag/update-channel-pin/master #10
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
channel-pin.yml
on: push
Update channel pin
1m 11s