Skip to content
Build and Deploy

build(deps): bump rexml from 3.3.3 to 3.3.9 in /website #43

Sign in to view logs

build(deps): bump rexml from 3.3.3 to 3.3.9 in /website

build(deps): bump rexml from 3.3.3 to 3.3.9 in /website #43

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-deploy (blaisorblade/docker-dot-iris:coq-8.15-iris-4.0.0)
4m 33s
4m 33s