Skip to content
Deploy Jekyll site to Pages

Parse more general decreases-to expressions (#5891) #375

# to view logs

Parse more general decreases-to expressions (#5891)

Parse more general decreases-to expressions (#5891) #375

Triggered via push November 6, 2024 18:31
@RustanLeinoRustanLeino
pushed 55fd260
master
Status Success
Total duration 10m 51s
Artifacts 1

jekyll.yml

on: push
build
18s
build
deploy
9s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
2.86 MB