Skip to content
Deploy Jekyll site to Pages

Feat: Ensure Dafny chars support the Copy trait (#6033) #449

Sign in to view logs

Feat: Ensure Dafny chars support the Copy trait (#6033)

Feat: Ensure Dafny chars support the Copy trait (#6033) #449

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
17s
deploy
10s
27s