Skip to content

Actions: lemastero/agda-smash

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #929565710 Dependabot Updates #3: by dependabot bot
December 9, 2024 10:46 36s main
main
December 9, 2024 10:46 36s
Typos in README.org GitHub Pages #25: Commit 84887f7 pushed by lemastero
December 5, 2024 16:10 29s main
main
December 5, 2024 16:10 29s
Update README.org GitHub Pages #24: Commit 476154a pushed by lemastero
December 4, 2024 19:28 31s main
main
December 4, 2024 19:28 31s
github_actions in /. - Update #927609017 Dependabot Updates #2: by dependabot bot
December 4, 2024 19:25 33s main
main
December 4, 2024 19:25 33s
github_actions in /. - Update #927609001 Dependabot Updates #1: by dependabot bot
December 4, 2024 19:25 33s main
main
December 4, 2024 19:25 33s
Merge pull request #9 from lemastero/dependabot-config GitHub Pages #23: Commit 05254ab pushed by lemastero
December 4, 2024 19:25 30s main
main
December 4, 2024 19:25 30s
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