Skip to content
security

Rename "symbol" term to "element" #479

Sign in to view logs

Rename "symbol" term to "element"

Rename "symbol" term to "element" #479

Triggered via push March 11, 2025 00:24
@SerafimArtsSerafimArts
pushed bc647b4
master
Status Success
Total duration 14s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

security.yml

on: push
Matrix: Security
Fit to window
Zoom out
Zoom in