Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
usethesource
/
rascal-website
Public
Notifications
You must be signed in to change notification settings
Fork
12
Star
1
Code
Issues
7
Pull requests
4
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Actions: usethesource/rascal-website
Actions
All workflows
Workflows
Base Website builder
Base Website builder
Dependabot Updates
Dependabot Updates
Deploy to Netlify
Deploy to Netlify
PR builder (sanity check, no deploy)
PR builder (sanity check, no deploy)
Show more workflows...
Management
Caches
Deployments
Deploy to Netlify
Deploy to Netlify
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Show workflow options
Create status badge
Create status badge
Loading
Uh oh!
There was an error while loading.
Please reload this page
.
website-builder.yml
will be ignored since log searching is not yet available
47 workflow runs
47 workflow runs
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
Introduce design by contract concepts in RAP15.md
Deploy to Netlify
#258:
Commit
721d588
pushed by
jurgenvinju
6m 25s
website-v2
website-v2
6m 25s
View workflow file
Update RAP15.md
Deploy to Netlify
#257:
Commit
9110052
pushed by
jurgenvinju
7m 13s
website-v2
website-v2
7m 13s
View workflow file
Update urgency and clarity in RAP15.md
Deploy to Netlify
#256:
Commit
fd3034a
pushed by
jurgenvinju
8m 7s
website-v2
website-v2
8m 7s
View workflow file
Enhance RAP15 with boolean predicate shorthand
Deploy to Netlify
#255:
Commit
94c68e8
pushed by
jurgenvinju
9m 15s
website-v2
website-v2
9m 15s
View workflow file
Update condition type and dynamic semantics in RAP15.md
Deploy to Netlify
#254:
Commit
b93026f
pushed by
jurgenvinju
2m 8s
website-v2
website-v2
2m 8s
View workflow file
Merge pull request #81 from usethesource/chore/latest-rascal
Deploy to Netlify
#253:
Commit
110f656
pushed by
DavyLandman
9m 7s
website-v2
website-v2
9m 7s
View workflow file
Using GH for everythin website building
Deploy to Netlify
#252:
Commit
228e3c8
pushed by
DavyLandman
9m 11s
website-v2
website-v2
9m 11s
View workflow file
Using latest versions to try and fix builder issue
Deploy to Netlify
#251:
Commit
ffd0807
pushed by
DavyLandman
2m 36s
website-v2
website-v2
2m 36s
View workflow file
Merge pull request #64 from usethesource/document-mojos
Deploy to Netlify
#250:
Commit
804239e
pushed by
jurgenvinju
7m 1s
website-v2
website-v2
7m 1s
View workflow file
minor edits
Deploy to Netlify
#249:
Commit
157de57
pushed by
jurgenvinju
6m 7s
website-v2
website-v2
6m 7s
View workflow file
Don't use ubicloud everywhere
Deploy to Netlify
#248:
Commit
f06af3e
pushed by
DavyLandman
6m 11s
website-v2
website-v2
6m 11s
View workflow file
using ubicloud
Deploy to Netlify
#247:
Commit
9e200b7
pushed by
DavyLandman
6m 27s
website-v2
website-v2
6m 27s
View workflow file
using ubicloud
Deploy to Netlify
#246:
Commit
d4469f3
pushed by
DavyLandman
9m 40s
website-v2
website-v2
9m 40s
View workflow file
using ubicloud
Deploy to Netlify
#245:
Commit
fe1e3c5
pushed by
DavyLandman
8m 2s
website-v2
website-v2
8m 2s
View workflow file
Typo
Deploy to Netlify
#244:
Commit
1601436
pushed by
jurgenvinju
10m 1s
website-v2
website-v2
10m 1s
View workflow file
fixed link
Deploy to Netlify
#243:
Commit
3ccba67
pushed by
jurgenvinju
15m 55s
website-v2
website-v2
15m 55s
View workflow file
renamed LanguageServerProtocol to LanguageServer
Deploy to Netlify
#242:
Commit
e3e67c0
pushed by
jurgenvinju
1m 54s
website-v2
website-v2
1m 54s
View workflow file
fixed ambiguous reference
Deploy to Netlify
#241:
Commit
031a6ba
pushed by
jurgenvinju
6m 58s
website-v2
website-v2
6m 58s
View workflow file
Merge pull request #76 from usethesource/feat/documenting-ui-recipes
Deploy to Netlify
#240:
Commit
5fc86d9
pushed by
jurgenvinju
1m 34s
website-v2
website-v2
1m 34s
View workflow file
Merge pull request #79 from usethesource/dependabot/npm_and_yarn/npm_…
Deploy to Netlify
#239:
Commit
025d0d8
pushed by
DavyLandman
1m 38s
website-v2
website-v2
1m 38s
View workflow file
Merge pull request #74 from usethesource/robust-parsing-pico
Deploy to Netlify
#238:
Commit
bc3965f
pushed by
jurgenvinju
1m 38s
website-v2
website-v2
1m 38s
View workflow file
sidebar positions for tutor concepts
Deploy to Netlify
#237:
Commit
2aaec7a
pushed by
jurgenvinju
12m 48s
website-v2
website-v2
12m 48s
View workflow file
Deploy to Netlify
Deploy to Netlify
#236:
by
jurgenvinju
7m 54s
website-v2
website-v2
7m 54s
View workflow file
Deploy to Netlify
Deploy to Netlify
#235:
by
jurgenvinju
10m 44s
website-v2
website-v2
10m 44s
View workflow file
Deploy to Netlify
Deploy to Netlify
#234:
by
jurgenvinju
7m 6s
website-v2
website-v2
7m 6s
View workflow file
Previous
1
2
Next
You can’t perform that action at this time.