Skip to content

Actions: gonzigaran/agda-clones

Deploy static content to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
Create static.yml
Deploy static content to Pages #1: Commit 3b1fd08 pushed by gonzigaran
April 4, 2024 16:59 24s main
April 4, 2024 16:59 24s