Skip to content
Build and Deploy

build(deps): bump rexml from 3.2.8 to 3.3.3 in /website #40

Sign in to view logs

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

build(deps): bump rexml from 3.2.8 to 3.3.3 in /website #40

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 25s
4m 25s