Skip to content
uc-crux-llvm-lint

crucible-syntax: Allow exotic characters in fresh atom names #1354

Sign in to view logs

crucible-syntax: Allow exotic characters in fresh atom names

crucible-syntax: Allow exotic characters in fresh atom names #1354

Triggered via pull request November 26, 2024 10:34
@RyanGlScottRyanGlScott
synchronize #1266
T1024-crucible-syntax-exotic-fresh-var-names
Status Success
Total duration 25s
Artifacts –

uc-crux-llvm-lint.yaml

on: pull_request
uc-crux-llvm lint
14s
uc-crux-llvm lint
Fit to window
Zoom out
Zoom in