Skip to content

Actions: usethesource/rascal-website

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bumped tutor Deploy to Netlify #166: Commit ae17ff6 pushed by jurgenvinju
February 1, 2024 20:31 1m 1s website-v2
website-v2
February 1, 2024 20:31 1m 1s
bumped tutor for link bug workaround Deploy to Netlify #165: Commit 287a6f5 pushed by jurgenvinju
February 1, 2024 18:16 12m 25s website-v2
website-v2
February 1, 2024 18:16 12m 25s
screenshots for tutor active Deploy to Netlify #164: Commit 207dd6b pushed by jurgenvinju
February 1, 2024 16:05 9m 20s website-v2
website-v2
February 1, 2024 16:05 9m 20s
bumped rascal-tutor Deploy to Netlify #163: Commit 9d7d9ed pushed by jurgenvinju
February 1, 2024 14:31 14m 3s website-v2
website-v2
February 1, 2024 14:31 14m 3s
Merge pull request #42 from tdadadavid/patch-2 Deploy to Netlify #162: Commit 8d98667 pushed by jurgenvinju
January 5, 2024 17:35 12m 19s website-v2
website-v2
January 5, 2024 17:35 12m 19s
Update Derivative.md PR builder (sanity check, no deploy) #86: Pull request #42 opened by tdadadavid
January 2, 2024 03:18 7m 29s tdadadavid:patch-2
tdadadavid:patch-2
January 2, 2024 03:18 7m 29s
bumped clair to 0.12.0 Deploy to Netlify #161: Commit 986f331 pushed by jurgenvinju
December 22, 2023 14:13 11m 53s website-v2
website-v2
December 22, 2023 14:13 11m 53s
Increased logo size so that it's bigger than the subtitle PR builder (sanity check, no deploy) #85: Pull request #41 opened by DavyLandman
December 22, 2023 08:15 7m 31s increase-logo-size
increase-logo-size
December 22, 2023 08:15 7m 31s
Update Github Actions to JDK17 PR builder (sanity check, no deploy) #84: Pull request #40 opened by JJWTimmer
December 21, 2023 14:46 7m 12s upgrade-jdk17
upgrade-jdk17
December 21, 2023 14:46 7m 12s
Merge pull request #32 from usethesource/update-chrome-ci Deploy to Netlify #160: Commit 9dc9b56 pushed by JJWTimmer
December 21, 2023 14:09 11m 42s website-v2
website-v2
December 21, 2023 14:09 11m 42s
change index logo to svg Deploy to Netlify #159: Commit 984150f pushed by JJWTimmer
December 21, 2023 14:08 9m 36s website-v2
website-v2
December 21, 2023 14:08 9m 36s
Merge pull request #39 from usethesource/feature/logo-2023 Deploy to Netlify #158: Commit 106b07c pushed by JJWTimmer
December 21, 2023 12:35 9m 52s website-v2
website-v2
December 21, 2023 12:35 9m 52s
Update logo and colors to new 2023 version PR builder (sanity check, no deploy) #83: Pull request #39 synchronize by JJWTimmer
December 20, 2023 21:28 6m 47s feature/logo-2023
feature/logo-2023
December 20, 2023 21:28 6m 47s
Update logo and colors to new 2023 version PR builder (sanity check, no deploy) #82: Pull request #39 synchronize by JJWTimmer
December 20, 2023 16:14 9m 54s feature/logo-2023
feature/logo-2023
December 20, 2023 16:14 9m 54s
Update logo and colors to new 2023 version PR builder (sanity check, no deploy) #81: Pull request #39 synchronize by JJWTimmer
December 20, 2023 16:02 7m 27s feature/logo-2023
feature/logo-2023
December 20, 2023 16:02 7m 27s
Merge pull request #38 from tdadadavid/patch-1 Deploy to Netlify #157: Commit 5e9bfb5 pushed by jurgenvinju
December 18, 2023 08:57 11m 18s website-v2
website-v2
December 18, 2023 08:57 11m 18s
Update PatternMatching.md PR builder (sanity check, no deploy) #80: Pull request #38 opened by tdadadavid
December 18, 2023 02:42 8m 37s tdadadavid:patch-1
tdadadavid:patch-1
December 18, 2023 02:42 8m 37s
bumped clair to 0.11.0 Deploy to Netlify #156: Commit dc8a4d3 pushed by jurgenvinju
November 21, 2023 09:05 9m 21s website-v2
website-v2
November 21, 2023 09:05 9m 21s
bumped to 0.24.0 of the maven plugin to help with broken screenshot Deploy to Netlify #155: Commit 9c38432 pushed by jurgenvinju
October 30, 2023 09:09 10m 11s website-v2
website-v2
October 30, 2023 09:09 10m 11s
Merge pull request #34 from usethesource/seo-description Deploy to Netlify #154: Commit e740d67 pushed by DavyLandman
October 26, 2023 14:07 10m 20s website-v2
website-v2
October 26, 2023 14:07 10m 20s
Improve SEO descriptions PR builder (sanity check, no deploy) #79: Pull request #34 synchronize by JJWTimmer
October 25, 2023 14:57 11m 37s seo-description
seo-description
October 25, 2023 14:57 11m 37s
Improve SEO descriptions PR builder (sanity check, no deploy) #78: Pull request #34 opened by JJWTimmer
October 24, 2023 20:28 14m 3s seo-description
seo-description
October 24, 2023 20:28 14m 3s
Reusable actions and update chrome(driver) PR builder (sanity check, no deploy) #77: Pull request #32 synchronize by JJWTimmer
October 24, 2023 19:14 8m 9s update-chrome-ci
update-chrome-ci
October 24, 2023 19:14 8m 9s
Reusable actions and update chrome(driver) PR builder (sanity check, no deploy) #76: Pull request #32 synchronize by JJWTimmer
October 24, 2023 19:09 3m 55s update-chrome-ci
update-chrome-ci
October 24, 2023 19:09 3m 55s
Reusable actions and update chrome(driver) PR builder (sanity check, no deploy) #75: Pull request #32 synchronize by JJWTimmer
October 22, 2023 20:11 6m 27s update-chrome-ci
update-chrome-ci
October 22, 2023 20:11 6m 27s