Skip to content
uc-crux-llvm-lint

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

Sign in to view logs

crucible-syntax: Allow exotic characters in fresh atom names

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

Triggered via pull request November 26, 2024 00:53
@RyanGlScottRyanGlScott
opened #1266
T1024-crucible-syntax-exotic-fresh-var-names
Status Success
Total duration 24s
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