Skip to content
Require “Allow Edits”

Editorial: Use intrinsics notation for well-known symbols #551

Sign in to view logs

Editorial: Use intrinsics notation for well-known symbols

Editorial: Use intrinsics notation for well-known symbols #551

Triggered via pull request July 3, 2024 18:25
@linusglinusg
synchronize #905
linusg:well-known-symbols
Status Success
Total duration 13s
Artifacts –

require-allow-edits.yml

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