Comments (3)
I don't think there is a good GitHub solution for this, and the html-preview thing we are using currently has its own problems (takes sometimes extremely long to serve CSS or doesn't do it at all).
@wom-bat do you think it would be possible for the web server to host preview branches under a specific URL for a limited time?
So if we had a PR with some branch name x
, the server would fetch x
and serve it under something like stage.sel4.systems/x/
. It could either monitor the GitHub repo directly for new pull requests or a GitHub action could poke some web hook to make it check out the repo.
We'd need to restrict this to PRs coming from org members, otherwise we'd be hosting arbitrary content on that preview. Maybe later extendable to some additional scheme similar to the ssrg-bamboo bot.
The preview branch should disappear from stage
after the PR is merged or closed.
from website.
This would also mean that we can run the validator and link checker on the live site and see their output in the error log, without needing to go through post processing and commenting, which keeps breaking.
from website.
Another way to make the comment action work from forks is using a separate workflow for that part: https://docs.github.com/en/actions/reference/events-that-trigger-workflows#workflow_run
from website.
Related Issues (20)
- seL4 benchmarking 'Performance' page is broken HOT 2
- Provide an anchor for each news item, so one can refer to them by a specific URL HOT 9
- https://sel4.systems/Info/FAQ/proof.pml page doesn't talk about RISC-V HOT 1
- Show history graphs on performance page HOT 2
- News item anchors should be visible when hovering over an issue
- Website: restructure the Foundation substructure
- Website: top menu should be reordered and restructured
- Website: jobs page is outdated
- Website: consistent titles
- Website: revisit the "More information" page
- Better link between website and docsite (and github)
- Links are indistinguishable from regular text HOT 9
- Website: clarify contact us?
- Docsite content: update Supported Platforms page HOT 11
- Docsite content: hardware: instructions if board not in the list HOT 10
- Develop GitHub workflow to allow easy review of PRs HOT 2
- RSS/atom feed for https://sel4.systems/news.pml.html
- Add news item about latest seL4 release
- Support RSS/atom feed for news HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from website.