Skip to content

Actions: usethesource/rascal-website

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cloned Tutor documentation from deprecated rascal-tutor project to here
PR builder (sanity check, no deploy) #106: Pull request #58 synchronize by jurgenvinju
October 17, 2024 09:10 7m 6s adopt-tutor-docs
October 17, 2024 09:10 7m 6s
September 11, 2024 17:41 1m 0s
September 4, 2024 20:12 53s
September 1, 2024 13:55 49s
August 30, 2024 14:18 45s
cloned Tutor documentation from deprecated rascal-tutor project to here
PR builder (sanity check, no deploy) #105: Pull request #58 opened by jurgenvinju
July 16, 2024 19:56 6m 23s adopt-tutor-docs
July 16, 2024 19:56 6m 23s
Fixed end-of-line/file disambiguation character
Deploy to Netlify #191: Commit 1264b5d pushed by rodinaarssen
June 17, 2024 10:48 12m 6s website-v2
June 17, 2024 10:48 12m 6s
missed something
Deploy to Netlify #190: Commit e3ad126 pushed by jurgenvinju
June 17, 2024 10:43 13m 20s website-v2
June 17, 2024 10:43 13m 20s
wrote index for the Packages directory
Deploy to Netlify #189: Commit 6deae70 pushed by jurgenvinju
June 17, 2024 10:27 12m 51s website-v2
June 17, 2024 10:27 12m 51s
Merge pull request #54 from usethesource/packages-and-devcontainers
Deploy to Netlify #188: Commit f95e9a5 pushed by jurgenvinju
June 17, 2024 06:52 10m 4s website-v2
June 17, 2024 06:52 10m 4s
Packages-and-devcontainers
PR builder (sanity check, no deploy) #101: Pull request #54 synchronize by JJWTimmer
June 16, 2024 21:06 7m 0s packages-and-devcontainers
June 16, 2024 21:06 7m 0s
Packages-and-devcontainers
PR builder (sanity check, no deploy) #100: Pull request #54 synchronize by JJWTimmer
June 16, 2024 20:56 6m 34s packages-and-devcontainers
June 16, 2024 20:56 6m 34s
Packages-and-devcontainers
PR builder (sanity check, no deploy) #99: Pull request #54 synchronize by JJWTimmer
June 16, 2024 20:46 5m 42s packages-and-devcontainers
June 16, 2024 20:46 5m 42s
Packages-and-devcontainers
PR builder (sanity check, no deploy) #98: Pull request #54 synchronize by JJWTimmer
June 16, 2024 20:43 2m 54s packages-and-devcontainers
June 16, 2024 20:43 2m 54s
Packages-and-devcontainers
PR builder (sanity check, no deploy) #97: Pull request #54 synchronize by JJWTimmer
June 16, 2024 20:38 4m 32s packages-and-devcontainers
June 16, 2024 20:38 4m 32s
Packages-and-devcontainers
PR builder (sanity check, no deploy) #96: Pull request #54 synchronize by JJWTimmer
June 16, 2024 18:27 5m 49s packages-and-devcontainers
June 16, 2024 18:27 5m 49s
Packages-and-devcontainers
PR builder (sanity check, no deploy) #95: Pull request #54 opened by JJWTimmer
June 16, 2024 18:06 6m 33s packages-and-devcontainers
June 16, 2024 18:06 6m 33s
forgot to add Packages
Deploy to Netlify #187: Commit 1f722b9 pushed by jurgenvinju
June 12, 2024 13:42 9m 51s website-v2
June 12, 2024 13:42 9m 51s
fixed broken links
Deploy to Netlify #186: Commit 22d5194 pushed by jurgenvinju
June 12, 2024 13:26 9m 52s website-v2
June 12, 2024 13:26 9m 52s