Skip to content

Actions: usethesource/rascal-website

Actions

PR builder (sanity check, no deploy)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-builder.yml
91 workflow runs
91 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
document mojos PR builder (sanity check, no deploy) #221: Pull request #64 synchronize by jurgenvinju
6m 14s document-mojos
document-mojos
6m 14s
document mojos PR builder (sanity check, no deploy) #220: Pull request #64 synchronize by jurgenvinju
7m 13s document-mojos
document-mojos
7m 13s
document mojos PR builder (sanity check, no deploy) #219: Pull request #64 synchronize by jurgenvinju
1m 57s document-mojos
document-mojos
1m 57s
Bump yaml from 1.10.2 to 1.10.3 in the npm_and_yarn group across 1 directory PR builder (sanity check, no deploy) #218: Pull request #80 opened by dependabot bot
6m 10s dependabot/npm_and_yarn/npm_and_yarn-04351d2771
dependabot/npm_and_yarn/npm_and_yarn-04351d2771
6m 10s
document mojos PR builder (sanity check, no deploy) #217: Pull request #64 synchronize by jurgenvinju
1m 11s document-mojos
document-mojos
1m 11s
started writing recipes for the three kinds of UI we have PR builder (sanity check, no deploy) #216: Pull request #76 synchronize by jurgenvinju
1m 46s feat/documenting-ui-recipes
feat/documenting-ui-recipes
1m 46s
started writing recipes for the three kinds of UI we have PR builder (sanity check, no deploy) #215: Pull request #76 synchronize by jurgenvinju
1m 55s feat/documenting-ui-recipes
feat/documenting-ui-recipes
1m 55s
Bump svgo from 2.8.0 to 2.8.2 in the npm_and_yarn group across 1 directory PR builder (sanity check, no deploy) #214: Pull request #79 opened by dependabot bot
4m 49s dependabot/npm_and_yarn/npm_and_yarn-5567bcf912
dependabot/npm_and_yarn/npm_and_yarn-5567bcf912
4m 49s
Bump the npm_and_yarn group across 1 directory with 16 updates PR builder (sanity check, no deploy) #213: Pull request #78 opened by dependabot bot
6m 12s dependabot/npm_and_yarn/npm_and_yarn-82c754de01
dependabot/npm_and_yarn/npm_and_yarn-82c754de01
6m 12s
Release notes: 0.42.0 PR builder (sanity check, no deploy) #212: Pull request #77 synchronize by jurgenvinju
6m 7s chore/release-notes/0.42.0
chore/release-notes/0.42.0
6m 7s
Release notes: 0.42.0 PR builder (sanity check, no deploy) #211: Pull request #77 synchronize by jurgenvinju
1m 38s chore/release-notes/0.42.0
chore/release-notes/0.42.0
1m 38s
Release notes: 0.42.0 PR builder (sanity check, no deploy) #210: Pull request #77 synchronize by jurgenvinju
3m 42s chore/release-notes/0.42.0
chore/release-notes/0.42.0
3m 42s
Release notes: 0.42.0 PR builder (sanity check, no deploy) #209: Pull request #77 synchronize by jurgenvinju
4m 55s chore/release-notes/0.42.0
chore/release-notes/0.42.0
4m 55s
Release notes: 0.42.0 PR builder (sanity check, no deploy) #208: Pull request #77 synchronize by jurgenvinju
5m 3s chore/release-notes/0.42.0
chore/release-notes/0.42.0
5m 3s
Release notes: 0.42.0 PR builder (sanity check, no deploy) #207: Pull request #77 synchronize by jurgenvinju
1m 42s chore/release-notes/0.42.0
chore/release-notes/0.42.0
1m 42s
Release notes: 0.42.0 PR builder (sanity check, no deploy) #206: Pull request #77 synchronize by jurgenvinju
1m 33s chore/release-notes/0.42.0
chore/release-notes/0.42.0
1m 33s
started writing recipes for the three kinds of UI we have PR builder (sanity check, no deploy) #205: Pull request #76 synchronize by jurgenvinju
4m 3s feat/documenting-ui-recipes
feat/documenting-ui-recipes
4m 3s
Release notes: 0.42.0 PR builder (sanity check, no deploy) #204: Pull request #77 synchronize by jurgenvinju
1m 49s chore/release-notes/0.42.0
chore/release-notes/0.42.0
1m 49s
started writing recipes for the three kinds of UI we have PR builder (sanity check, no deploy) #203: Pull request #76 synchronize by jurgenvinju
3m 58s feat/documenting-ui-recipes
feat/documenting-ui-recipes
3m 58s
started writing recipes for the three kinds of UI we have PR builder (sanity check, no deploy) #202: Pull request #76 synchronize by jurgenvinju
3m 4s feat/documenting-ui-recipes
feat/documenting-ui-recipes
3m 4s
Release notes: 0.42.0 PR builder (sanity check, no deploy) #201: Pull request #77 synchronize by jurgenvinju
3m 28s chore/release-notes/0.42.0
chore/release-notes/0.42.0
3m 28s
Release notes: 0.42.0 PR builder (sanity check, no deploy) #200: Pull request #77 synchronize by jurgenvinju
3m 8s chore/release-notes/0.42.0
chore/release-notes/0.42.0
3m 8s
started writing recipes for the three kinds of UI we have PR builder (sanity check, no deploy) #199: Pull request #76 synchronize by jurgenvinju
3m 31s feat/documenting-ui-recipes
feat/documenting-ui-recipes
3m 31s
started writing recipes for the three kinds of UI we have PR builder (sanity check, no deploy) #198: Pull request #76 synchronize by jurgenvinju
3m 38s feat/documenting-ui-recipes
feat/documenting-ui-recipes
3m 38s
cloned Tutor documentation from deprecated rascal-tutor project to here PR builder (sanity check, no deploy) #197: Pull request #58 synchronize by jurgenvinju
4m 20s adopt-tutor-docs
adopt-tutor-docs
4m 20s