Skip to content

Actions: gonzigaran/agda-clones

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #29: by gonzigaran
April 4, 2024 18:32 45s
April 4, 2024 18:32 45s
Merge pull request #1 from gonzigaran/web
Deploy static content to Pages #8: Commit 8f8774b pushed by gonzigaran
April 4, 2024 18:31 24s main
April 4, 2024 18:31 24s
pages build and deployment
pages-build-deployment #28: by gonzigaran
April 4, 2024 18:30 44s
April 4, 2024 18:30 44s
pages build and deployment
pages-build-deployment #27: by gonzigaran
April 4, 2024 18:30 42s
April 4, 2024 18:30 42s
pages build and deployment
pages-build-deployment #26: by gonzigaran
April 4, 2024 18:22 52s
April 4, 2024 18:22 52s
pages build and deployment
pages-build-deployment #25: by gonzigaran
April 4, 2024 18:09 48s
April 4, 2024 18:09 48s
pages build and deployment
pages-build-deployment #24: by gonzigaran
April 4, 2024 18:05 39s
April 4, 2024 18:05 39s
pages build and deployment
pages-build-deployment #23: by gonzigaran
April 4, 2024 18:01 43s
April 4, 2024 18:01 43s
pages build and deployment
pages-build-deployment #22: by gonzigaran
April 4, 2024 17:59 36s
April 4, 2024 17:59 36s
pages build and deployment
pages-build-deployment #21: by gonzigaran
April 4, 2024 17:47 51s
April 4, 2024 17:47 51s
pages build and deployment
pages-build-deployment #20: by gonzigaran
April 4, 2024 17:45 34s
April 4, 2024 17:45 34s
pages build and deployment
pages-build-deployment #19: by gonzigaran
April 4, 2024 17:41 31s
April 4, 2024 17:41 31s
pages build and deployment
pages-build-deployment #18: by gonzigaran
April 4, 2024 17:38 45s
April 4, 2024 17:38 45s
gitignore
Deploy static content to Pages #7: Commit a8e63bf pushed by gonzigaran
April 4, 2024 17:29 23s main
April 4, 2024 17:29 23s
pages build and deployment
pages-build-deployment #17: by gonzigaran
April 4, 2024 17:29 46s
April 4, 2024 17:29 46s
jekyll-agda
Deploy static content to Pages #6: Commit b03173b pushed by gonzigaran
April 4, 2024 17:27 23s main
April 4, 2024 17:27 23s
pages build and deployment
pages-build-deployment #16: by gonzigaran
April 4, 2024 17:27 35s
April 4, 2024 17:27 35s
mv html
Deploy static content to Pages #5: Commit 2708953 pushed by gonzigaran
April 4, 2024 17:21 21s main
April 4, 2024 17:21 21s
pages build and deployment
pages-build-deployment #15: by gonzigaran
April 4, 2024 17:21 34s
April 4, 2024 17:21 34s
prueba pagina clones
Deploy static content to Pages #4: Commit 8622d71 pushed by gonzigaran
April 4, 2024 17:17 23s main
April 4, 2024 17:17 23s
pages build and deployment
pages-build-deployment #14: by gonzigaran
April 4, 2024 17:17 32s
April 4, 2024 17:17 32s
jekyll page
Deploy static content to Pages #3: Commit 607a809 pushed by gonzigaran
April 4, 2024 17:15 21s main
April 4, 2024 17:15 21s
pages build and deployment
pages-build-deployment #13: by gonzigaran
April 4, 2024 17:15 40s
April 4, 2024 17:15 40s
jekyll page
Deploy static content to Pages #2: Commit fe75639 pushed by gonzigaran
April 4, 2024 17:13 25s main
April 4, 2024 17:13 25s
pages build and deployment
pages-build-deployment #12: by gonzigaran
April 4, 2024 17:13 41s
April 4, 2024 17:13 41s