Skip to content

Actions: lemastero/agda-smash

Actions

Build PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create dependabot.yml configuration Build PR #13: Pull request #9 synchronize by lemastero
December 4, 2024 19:24 27s dependabot-config
dependabot-config
December 4, 2024 19:24 27s
Create dependabot.yml configuration Build PR #12: Pull request #9 synchronize by lemastero
December 4, 2024 19:19 29s dependabot-config
dependabot-config
December 4, 2024 19:19 29s
Create dependabot.yml configuration Build PR #11: Pull request #9 synchronize by lemastero
December 4, 2024 19:12 30s dependabot-config
dependabot-config
December 4, 2024 19:12 30s
Create dependabot.yml configuration Build PR #10: Pull request #9 synchronize by lemastero
December 4, 2024 19:12 23s dependabot-config
dependabot-config
December 4, 2024 19:12 23s
Create dependabot.yml configuration Build PR #9: Pull request #9 opened by lemastero
December 4, 2024 19:09 26s dependabot-config
dependabot-config
December 4, 2024 19:09 26s