Skip to content
Configuration options

Set up Dependabot to update GitHub Actions #182

Sign in to view logs

Set up Dependabot to update GitHub Actions

Set up Dependabot to update GitHub Actions #182

Triggered via pull request January 24, 2024 09:38
@fingolfinfingolfin
opened #981
fingolfin:mh/dependabot
Status Success
Total duration 9m 24s
Artifacts –

config-options.yml

on: pull_request
enable-debug
9m 12s
enable-debug
with-external-libsemigroups
4m 44s
with-external-libsemigroups
Fit to window
Zoom out
Zoom in