Skip to content
Build and Deploy

Merge pull request #450 from Blaisorblade/dependabot/bundler/website/… #39

Sign in to view logs

Merge pull request #450 from Blaisorblade/dependabot/bundler/website/…

Merge pull request #450 from Blaisorblade/dependabot/bundler/website/… #39

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