Skip to content

Actions: lemastero/agda-smash

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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