Skip to content

Actions: TuringLang/turinglang.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
448 workflow runs
448 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update JuliaGPNavbar.html Deploy to GitHub Pages #32: Commit 1af7b6b pushed by yebai
July 14, 2024 16:18 34s main
main
July 14, 2024 16:18 34s
pages build and deployment pages-build-deployment #1967: by github-pages bot
July 14, 2024 12:34 1m 24s gh-pages
gh-pages
July 14, 2024 12:34 1m 24s
pages build and deployment pages-build-deployment #1966: by github-pages bot
July 14, 2024 12:34 23s gh-pages
gh-pages
July 14, 2024 12:34 23s
updated insert_navbar.sh & DocsNav.yml for custom navbar (#86) Deploy to GitHub Pages #31: Commit 953c6ab pushed by shravanngoswamii
July 14, 2024 12:33 33s main
main
July 14, 2024 12:33 33s
updated insert_navbar.sh & DocsNav.yml for custom navbar PR Preview Workflow #10: Pull request #86 closed by shravanngoswamii
July 14, 2024 12:33 17s
July 14, 2024 12:33 17s
pages build and deployment pages-build-deployment #1965: by github-pages bot
July 14, 2024 12:23 1m 23s gh-pages
gh-pages
July 14, 2024 12:23 1m 23s
updated insert_navbar.sh & DocsNav.yml for custom navbar PR Preview Workflow #9: Pull request #86 synchronize by shravanngoswamii
July 14, 2024 12:23 48s
July 14, 2024 12:23 48s
pages build and deployment pages-build-deployment #1964: by github-pages bot
July 14, 2024 11:27 1m 13s gh-pages
gh-pages
July 14, 2024 11:27 1m 13s
updated insert_navbar.sh & DocsNav.yml for custom navbar PR Preview Workflow #8: Pull request #86 synchronize by shravanngoswamii
July 14, 2024 11:27 41s
July 14, 2024 11:27 41s
pages build and deployment pages-build-deployment #1963: by github-pages bot
July 12, 2024 16:59 1m 17s gh-pages
gh-pages
July 12, 2024 16:59 1m 17s
updated insert_navbar.sh & DocsNav.yml for custom navbar PR Preview Workflow #7: Pull request #86 synchronize by shravanngoswamii
July 12, 2024 16:59 47s
July 12, 2024 16:59 47s
pages build and deployment pages-build-deployment #1962: by github-pages bot
July 12, 2024 15:43 1m 15s gh-pages
gh-pages
July 12, 2024 15:43 1m 15s
updated insert_navbar.sh & DocsNav.yml for custom navbar PR Preview Workflow #6: Pull request #86 synchronize by shravanngoswamii
July 12, 2024 15:42 43s
July 12, 2024 15:42 43s
pages build and deployment pages-build-deployment #1961: by github-pages bot
July 11, 2024 19:59 1m 29s gh-pages
gh-pages
July 11, 2024 19:59 1m 29s
updated insert_navbar.sh & DocsNav.yml for custom navbar PR Preview Workflow #5: Pull request #86 synchronize by shravanngoswamii
July 11, 2024 19:59 47s
July 11, 2024 19:59 47s
pages build and deployment pages-build-deployment #1960: by github-pages bot
July 11, 2024 19:46 1m 22s gh-pages
gh-pages
July 11, 2024 19:46 1m 22s
updated insert_navbar.sh & DocsNav.yml for custom navbar PR Preview Workflow #4: Pull request #86 opened by shravanngoswamii
July 11, 2024 19:45 42s
July 11, 2024 19:45 42s
pages build and deployment pages-build-deployment #1959: by yebai
July 9, 2024 23:23 1m 21s gh-pages
gh-pages
July 9, 2024 23:23 1m 21s
pages build and deployment pages-build-deployment #1958: by github-pages bot
July 8, 2024 14:02 2m 33s gh-pages
gh-pages
July 8, 2024 14:02 2m 33s
Update navbar.html Deploy to GitHub Pages #30: Commit 85ada2f pushed by yebai
July 8, 2024 14:01 1m 7s main
main
July 8, 2024 14:01 1m 7s
pages build and deployment pages-build-deployment #1957: by github-pages bot
July 7, 2024 15:22 2m 36s gh-pages
gh-pages
July 7, 2024 15:22 2m 36s
pages build and deployment pages-build-deployment #1956: by github-pages bot
July 7, 2024 15:13 3m 1s gh-pages
gh-pages
July 7, 2024 15:13 3m 1s
Dark Mode PR Preview Workflow #3: Pull request #85 opened by shravanngoswamii
July 7, 2024 15:12 56s
July 7, 2024 15:12 56s
pages build and deployment pages-build-deployment #1955: by github-pages bot
July 6, 2024 23:03 2m 26s gh-pages
gh-pages
July 6, 2024 23:03 2m 26s
Update index.qmd Deploy to GitHub Pages #29: Commit 78d12b9 pushed by yebai
July 6, 2024 23:03 41s main
main
July 6, 2024 23:03 41s
ProTip! You can narrow down the results and go further in time using created:<2024-07-06 or the other filters available.