Skip to content
Require “Allow Edits”

Editorial: replace use of Type macro #548

Sign in to view logs

Editorial: replace use of Type macro

Editorial: replace use of Type macro #548

Triggered via pull request June 26, 2024 22:39
@bakkotbakkot
opened #902
bakkot-patch-1
Status Success
Total duration 12s
Artifacts –

require-allow-edits.yml

on: pull_request
Require “Allow Edits”
4s
Require “Allow Edits”
Fit to window
Zoom out
Zoom in