Skip to content

Actions: shravanngoswamii/turinglang.github.io

Actions

Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update insert_navbar.sh Deploy to GitHub Pages #52: Commit 7596dcc pushed by shravanngoswamii
December 21, 2024 13:21 1m 24s main
main
December 21, 2024 13:21 1m 24s
Update team.yml (#102) Deploy to GitHub Pages #51: Commit 5f7f81c pushed by shravanngoswamii
October 5, 2024 14:57 1m 25s main
main
October 5, 2024 14:57 1m 25s
Add to team (#99) Deploy to GitHub Pages #50: Commit 2b3a7cd pushed by shravanngoswamii
October 2, 2024 13:00 1m 50s main
main
October 2, 2024 13:00 1m 50s
add SliceSampling to navbar (#97) Deploy to GitHub Pages #49: Commit efab65e pushed by shravanngoswamii
September 2, 2024 22:33 1m 22s main
main
September 2, 2024 22:33 1m 22s
exclude option in DocsNav (#88) Deploy to GitHub Pages #48: Commit c615aed pushed by shravanngoswamii
August 6, 2024 07:44 1m 27s main
main
August 6, 2024 07:44 1m 27s
Add listing to team page (#87) Deploy to GitHub Pages #47: Commit a56dde2 pushed by shravanngoswamii
August 3, 2024 02:37 1m 24s main
main
August 3, 2024 02:37 1m 24s
Update JuliaGPNavbar.html Deploy to GitHub Pages #46: Commit 3e4f590 pushed by shravanngoswamii
July 15, 2024 09:05 1m 31s main
main
July 15, 2024 09:05 1m 31s
Update navbar.html Deploy to GitHub Pages #45: Commit 85ada2f pushed by shravanngoswamii
July 11, 2024 15:02 1m 31s main
main
July 11, 2024 15:02 1m 31s
Update index.qmd Deploy to GitHub Pages #44: Commit 78d12b9 pushed by shravanngoswamii
July 7, 2024 11:40 1m 22s main
main
July 7, 2024 11:40 1m 22s
documenter css tweaks (#81) Deploy to GitHub Pages #43: Commit f830089 pushed by shravanngoswamii
July 6, 2024 06:26 1m 27s main
main
July 6, 2024 06:26 1m 27s
Update README.md Deploy to GitHub Pages #42: Commit 497c0e7 pushed by shravanngoswamii
July 4, 2024 11:53 1m 35s main
main
July 4, 2024 11:53 1m 35s
Updated scripts (#78) Deploy to GitHub Pages #41: Commit adf3b95 pushed by shravanngoswamii
June 27, 2024 03:20 34s main
main
June 27, 2024 03:20 34s
added script and html for Documenter Navigation (#77) Deploy to GitHub Pages #40: Commit a7c1f47 pushed by shravanngoswamii
June 21, 2024 17:56 30s main
main
June 21, 2024 17:56 30s
Update some descriptions (#75) Deploy to GitHub Pages #39: Commit 8bb8500 pushed by shravanngoswamii
June 21, 2024 12:35 40s main
main
June 21, 2024 12:35 40s