Skip to content
Back to pull request #589

chore: Rename AtomicPrimitives Dafny module name #3031

Sign in to view logs

chore: Rename AtomicPrimitives Dafny module name

chore: Rename AtomicPrimitives Dafny module name #3031

Triggered via pull request September 25, 2024 00:16
@lucasmcdonald3lucasmcdonald3
synchronize #589
primitives-name
Status Success
Total duration 33s
Artifacts –

ci_static-analysis.yaml

on: pull_request
not-grep
17s
not-grep
Fit to window
Zoom out
Zoom in