Skip to content
Configuration options

Set up Dependabot to update GitHub Actions #184

Sign in to view logs

Set up Dependabot to update GitHub Actions

Set up Dependabot to update GitHub Actions #184

Triggered via push January 24, 2024 10:21
@james-d-mitchelljames-d-mitchell
pushed 2679eac
main
Status Success
Total duration 9m 6s
Artifacts –

config-options.yml

on: push
enable-debug
8m 57s
enable-debug
with-external-libsemigroups
5m 10s
with-external-libsemigroups
Fit to window
Zoom out
Zoom in