Skip to content
Agda

chore(deps): bump dawidd6/action-send-mail from 12335b969ae3fb71bee5f2c6b829744261aec34c to 2e600f3776677e493bf0da7aaec39a586d19a5ed in the actions group #888

Sign in to view logs

chore(deps): bump dawidd6/action-send-mail from 12335b969ae3fb71bee5f2c6b829744261aec34c to 2e600f3776677e493bf0da7aaec39a586d19a5ed in the actions group

chore(deps): bump dawidd6/action-send-mail from 12335b969ae3fb71bee5f2c6b829744261aec34c to 2e600f3776677e493bf0da7aaec39a586d19a5ed in the actions group #888

Triggered via pull request August 1, 2026 20:40
@dependabotdependabot[bot]
opened #298
dependabot/github_actions/actions-21c3c7556b
Status Success
Total duration 10m 20s
Artifacts –

agda.yml

on: pull_request
check
2m 3s
check
cold-check
10m 16s
cold-check
Fit to window
Zoom out
Zoom in