Skip to content

Actions: TuringLang/turinglang.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
383 workflow runs
383 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1997: by github-pages bot
September 19, 2024 13:13 1m 13s gh-pages
gh-pages
September 19, 2024 13:13 1m 13s
fixed some dark-theme bugs PR Preview Workflow #30: Pull request #98 synchronize by jitendravjh
September 19, 2024 13:12 49s
September 19, 2024 13:12 49s
pages build and deployment pages-build-deployment #1996: by github-pages bot
September 19, 2024 12:53 1m 23s gh-pages
gh-pages
September 19, 2024 12:53 1m 23s
fixed some dark-theme bugs PR Preview Workflow #29: Pull request #98 opened by jitendravjh
September 19, 2024 12:52 58s
September 19, 2024 12:52 58s
pages build and deployment pages-build-deployment #1995: by github-pages bot
September 15, 2024 11:15 1m 17s gh-pages
gh-pages
September 15, 2024 11:15 1m 17s
pages build and deployment pages-build-deployment #1994: by github-pages bot
September 15, 2024 11:15 23s gh-pages
gh-pages
September 15, 2024 11:15 23s
Added Dark Theme PR Preview Workflow #28: Pull request #92 closed by shravanngoswamii
September 15, 2024 11:14 19s
September 15, 2024 11:14 19s
Added Dark Theme (#92) Deploy to GitHub Pages #40: Commit 911471d pushed by shravanngoswamii
September 15, 2024 11:14 38s main
main
September 15, 2024 11:14 38s
pages build and deployment pages-build-deployment #1993: by github-pages bot
September 15, 2024 09:09 1m 36s gh-pages
gh-pages
September 15, 2024 09:09 1m 36s
Added Dark Theme PR Preview Workflow #27: Pull request #92 synchronize by jitendravjh
September 15, 2024 09:09 48s
September 15, 2024 09:09 48s
pages build and deployment pages-build-deployment #1992: by github-pages bot
September 1, 2024 04:55 1m 22s gh-pages
gh-pages
September 1, 2024 04:55 1m 22s
pages build and deployment pages-build-deployment #1991: by github-pages bot
September 1, 2024 04:55 24s gh-pages
gh-pages
September 1, 2024 04:55 24s
add SliceSampling to navbar PR Preview Workflow #26: Pull request #97 closed by shravanngoswamii
September 1, 2024 04:54 19s
September 1, 2024 04:54 19s
add SliceSampling to navbar (#97) Deploy to GitHub Pages #39: Commit efab65e pushed by shravanngoswamii
September 1, 2024 04:54 38s main
main
September 1, 2024 04:54 38s
pages build and deployment pages-build-deployment #1990: by github-pages bot
August 31, 2024 20:23 1m 17s gh-pages
gh-pages
August 31, 2024 20:23 1m 17s
add SliceSampling to navbar PR Preview Workflow #25: Pull request #97 opened by Red-Portal
August 31, 2024 20:23 57s
August 31, 2024 20:23 57s
pages build and deployment pages-build-deployment #1989: by github-pages bot
August 15, 2024 04:49 1m 20s gh-pages
gh-pages
August 15, 2024 04:49 1m 20s
pages build and deployment pages-build-deployment #1988: by github-pages bot
August 15, 2024 04:48 19s gh-pages
gh-pages
August 15, 2024 04:48 19s
Add SliceSampling.jl to library list PR Preview Workflow #24: Pull request #94 closed by shravanngoswamii
August 15, 2024 04:48 18s
August 15, 2024 04:48 18s
Add SliceSampling.jl in library list (#94) Deploy to GitHub Pages #38: Commit 5d0c9e7 pushed by shravanngoswamii
August 15, 2024 04:48 32s main
main
August 15, 2024 04:48 32s
pages build and deployment pages-build-deployment #1987: by github-pages bot
August 15, 2024 03:05 1m 28s gh-pages
gh-pages
August 15, 2024 03:05 1m 28s
Add SliceSampling.jl to library list PR Preview Workflow #23: Pull request #94 opened by Red-Portal
August 15, 2024 03:05 48s
August 15, 2024 03:05 48s
pages build and deployment pages-build-deployment #1986: by github-pages bot
August 12, 2024 06:32 1m 22s gh-pages
gh-pages
August 12, 2024 06:32 1m 22s
Added Dark Theme PR Preview Workflow #22: Pull request #92 synchronize by jitendravjh
August 12, 2024 06:32 44s
August 12, 2024 06:32 44s
pages build and deployment pages-build-deployment #1985: by github-pages bot
August 12, 2024 03:17 1m 25s gh-pages
gh-pages
August 12, 2024 03:17 1m 25s
ProTip! You can narrow down the results and go further in time using created:<2024-08-12 or the other filters available.