Skip to content

Actions: TuringLang/turinglang.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
520 workflow runs
520 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added preview workflow (#83) Deploy to GitHub Pages #25: Commit 80be35e pushed by yebai
July 6, 2024 16:36 1m 38s main
main
July 6, 2024 16:36 1m 38s
pages build and deployment pages-build-deployment #1946: by github-pages bot
July 4, 2024 12:21 4m 27s gh-pages
gh-pages
July 4, 2024 12:21 4m 27s
documenter css tweaks (#81) Deploy to GitHub Pages #24: Commit f830089 pushed by yebai
July 4, 2024 12:20 1m 28s main
main
July 4, 2024 12:20 1m 28s
pages build and deployment pages-build-deployment #1945: by github-pages bot
July 2, 2024 15:50 4m 35s gh-pages
gh-pages
July 2, 2024 15:50 4m 35s
pages build and deployment pages-build-deployment #1944: by github-pages bot
July 2, 2024 15:48 1m 19s gh-pages
gh-pages
July 2, 2024 15:48 1m 19s
Update README.md Deploy to GitHub Pages #23: Commit 497c0e7 pushed by yebai
July 2, 2024 15:48 1m 25s main
main
July 2, 2024 15:48 1m 25s
Update DocsNav.yml Deploy to GitHub Pages #22: Commit e218ff8 pushed by yebai
July 2, 2024 15:47 1m 39s main
main
July 2, 2024 15:47 1m 39s
pages build and deployment pages-build-deployment #1943: by yebai
June 27, 2024 08:35 4m 33s gh-pages
gh-pages
June 27, 2024 08:35 4m 33s
pages build and deployment pages-build-deployment #1942: by github-pages bot
June 24, 2024 16:54 4m 32s gh-pages
gh-pages
June 24, 2024 16:54 4m 32s
Updated scripts (#78) Deploy to GitHub Pages #21: Commit adf3b95 pushed by yebai
June 24, 2024 16:53 1m 40s main
main
June 24, 2024 16:53 1m 40s
pages build and deployment pages-build-deployment #1941: by github-pages bot
June 21, 2024 14:26 4m 29s gh-pages
gh-pages
June 21, 2024 14:26 4m 29s
added script and html for Documenter Navigation (#77) Deploy to GitHub Pages #20: Commit a7c1f47 pushed by yebai
June 21, 2024 14:25 1m 25s main
main
June 21, 2024 14:25 1m 25s
pages build and deployment pages-build-deployment #1940: by github-pages bot
June 17, 2024 20:36 4m 11s gh-pages
gh-pages
June 17, 2024 20:36 4m 11s
Update some descriptions (#75) Deploy to GitHub Pages #19: Commit 8bb8500 pushed by yebai
June 17, 2024 20:35 1m 27s main
main
June 17, 2024 20:35 1m 27s
pages build and deployment pages-build-deployment #1939: by yebai
June 7, 2024 08:53 4m 27s gh-pages
gh-pages
June 7, 2024 08:53 4m 27s
pages build and deployment pages-build-deployment #1938: by yebai
June 7, 2024 08:52 43s gh-pages
gh-pages
June 7, 2024 08:52 43s
pages build and deployment pages-build-deployment #1937: by github-pages bot
May 31, 2024 10:45 5m 26s gh-pages
gh-pages
May 31, 2024 10:45 5m 26s
Update publish.yml Deploy to GitHub Pages #18: Commit 0f74625 pushed by yebai
May 31, 2024 10:44 1m 26s main
main
May 31, 2024 10:44 1m 26s
pages build and deployment pages-build-deployment #1936: by yebai
May 31, 2024 10:43 2m 27s gh-pages
gh-pages
May 31, 2024 10:43 2m 27s
pages build and deployment pages-build-deployment #1935: by yebai
May 31, 2024 10:43 5m 54s gh-pages2
gh-pages2
May 31, 2024 10:43 5m 54s
pages build and deployment pages-build-deployment #1934: by github-pages bot
May 31, 2024 09:32 3m 21s gh-pages
gh-pages
May 31, 2024 09:32 3m 21s
adding search_original.json of docs (#71) Deploy to GitHub Pages #17: Commit 2dc131d pushed by yebai
May 31, 2024 09:31 1m 55s main
main
May 31, 2024 09:31 1m 55s
pages build and deployment pages-build-deployment #1933: by github-pages bot
May 31, 2024 08:22 40s gh-pages
gh-pages
May 31, 2024 08:22 40s
modifies workflow to update search.json for searching docs (#70) Deploy to GitHub Pages #16: Commit 646205d pushed by yebai
May 31, 2024 08:20 1m 47s main
main
May 31, 2024 08:20 1m 47s
pages build and deployment pages-build-deployment #1932: by github-pages bot
May 24, 2024 17:14 5m 6s gh-pages
gh-pages
May 24, 2024 17:14 5m 6s
ProTip! You can narrow down the results and go further in time using created:<2024-05-24 or the other filters available.