Skip to content

Commit df6d074

Browse files
zliu41zliu41
committed
Deploy UPLC 2025 Program
1 parent 93010fe commit df6d074

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

67 files changed

+1139
-0
lines changed

‎.github/workflows/uplc2025.yml‎

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
name: Deploy UPLC 2025 Agenda
2+
3+
on:
4+
push:
5+
branches: [uplc2025] # only this branch triggers deployment
6+
7+
permissions:
8+
contents: write # needed for pushing to gh-pages
9+
10+
jobs:
11+
build-and-deploy:
12+
runs-on: ubuntu-latest
13+
14+
steps:
15+
- name: Checkout
16+
uses: actions/checkout@v4
17+
18+
- name: Setup Ruby
19+
uses: ruby/setup-ruby@v1
20+
with:
21+
ruby-version: '3.2' # or your preferred version
22+
bundler-cache: true
23+
24+
- name: Install gems
25+
working-directory: uplc2025
26+
run: |
27+
bundle install --path vendor/bundle
28+
29+
- name: Build Jekyll
30+
working-directory: uplc2025
31+
run: |
32+
JEKYLL_ENV=production bundle exec jekyll build \
33+
--destination ../build
34+
35+
# Publish to gh-pages under target folder "uplc2025"
36+
- name: Deploy to GitHub Pages
37+
uses: JamesIves/github-pages-deploy-action@v4
38+
with:
39+
# token: ${{ secrets.GITHUB_TOKEN }}
40+
branch: gh-pages
41+
folder: build
42+
target-folder: uplc2025 # <- site will be served at /uplc2025
43+
# clean: true # wipe old files in that folder
44+
single-commit: true

‎.gitignore‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -115,3 +115,8 @@ plutus-pab/test-node/alonzo-purple/db
115115
.nvimrc
116116
release-*
117117
TestCert.*
118+
119+
**/.DS_Store
120+
**/_site/**/**
121+
**/.jekyll-metadata
122+
**/.jekyll-cache

‎uplc2025/Gemfile‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
source "https://rubygems.org"
2+
3+
gem "github-pages", group: :jekyll_plugins
4+
gem "jekyll-include-cache", group: :jekyll_plugins

‎uplc2025/Gemfile.lock‎

Lines changed: 291 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,291 @@
1+
GEM
2+
remote: https://rubygems.org/
3+
specs:
4+
activesupport (7.1.5.2)
5+
base64
6+
benchmark (>= 0.3)
7+
bigdecimal
8+
concurrent-ruby (~> 1.0, >= 1.0.2)
9+
connection_pool (>= 2.2.5)
10+
drb
11+
i18n (>= 1.6, < 2)
12+
logger (>= 1.4.2)
13+
minitest (>= 5.1)
14+
mutex_m
15+
securerandom (>= 0.3)
16+
tzinfo (~> 2.0)
17+
addressable (2.8.7)
18+
public_suffix (>= 2.0.2, < 7.0)
19+
base64 (0.3.0)
20+
benchmark (0.4.1)
21+
bigdecimal (3.2.3)
22+
coffee-script (2.4.1)
23+
coffee-script-source
24+
execjs
25+
coffee-script-source (1.12.2)
26+
colorator (1.1.0)
27+
commonmarker (0.23.12)
28+
concurrent-ruby (1.3.5)
29+
connection_pool (2.5.4)
30+
csv (3.3.5)
31+
dnsruby (1.73.0)
32+
base64 (>= 0.2)
33+
logger (~> 1.6)
34+
simpleidn (~> 0.2.1)
35+
drb (2.2.3)
36+
em-websocket (0.5.3)
37+
eventmachine (>= 0.12.9)
38+
http_parser.rb (~> 0)
39+
ethon (0.15.0)
40+
ffi (>= 1.15.0)
41+
eventmachine (1.2.7)
42+
execjs (2.10.0)
43+
faraday (2.13.4)
44+
faraday-net_http (>= 2.0, < 3.5)
45+
json
46+
logger
47+
faraday-net_http (3.4.1)
48+
net-http (>= 0.5.0)
49+
ffi (1.17.2)
50+
ffi (1.17.2-arm64-darwin)
51+
ffi (1.17.2-x86_64-darwin)
52+
forwardable-extended (2.6.0)
53+
gemoji (4.1.0)
54+
github-pages (232)
55+
github-pages-health-check (= 1.18.2)
56+
jekyll (= 3.10.0)
57+
jekyll-avatar (= 0.8.0)
58+
jekyll-coffeescript (= 1.2.2)
59+
jekyll-commonmark-ghpages (= 0.5.1)
60+
jekyll-default-layout (= 0.1.5)
61+
jekyll-feed (= 0.17.0)
62+
jekyll-gist (= 1.5.0)
63+
jekyll-github-metadata (= 2.16.1)
64+
jekyll-include-cache (= 0.2.1)
65+
jekyll-mentions (= 1.6.0)
66+
jekyll-optional-front-matter (= 0.3.2)
67+
jekyll-paginate (= 1.1.0)
68+
jekyll-readme-index (= 0.3.0)
69+
jekyll-redirect-from (= 0.16.0)
70+
jekyll-relative-links (= 0.6.1)
71+
jekyll-remote-theme (= 0.4.3)
72+
jekyll-sass-converter (= 1.5.2)
73+
jekyll-seo-tag (= 2.8.0)
74+
jekyll-sitemap (= 1.4.0)
75+
jekyll-swiss (= 1.0.0)
76+
jekyll-theme-architect (= 0.2.0)
77+
jekyll-theme-cayman (= 0.2.0)
78+
jekyll-theme-dinky (= 0.2.0)
79+
jekyll-theme-hacker (= 0.2.0)
80+
jekyll-theme-leap-day (= 0.2.0)
81+
jekyll-theme-merlot (= 0.2.0)
82+
jekyll-theme-midnight (= 0.2.0)
83+
jekyll-theme-minimal (= 0.2.0)
84+
jekyll-theme-modernist (= 0.2.0)
85+
jekyll-theme-primer (= 0.6.0)
86+
jekyll-theme-slate (= 0.2.0)
87+
jekyll-theme-tactile (= 0.2.0)
88+
jekyll-theme-time-machine (= 0.2.0)
89+
jekyll-titles-from-headings (= 0.5.3)
90+
jemoji (= 0.13.0)
91+
kramdown (= 2.4.0)
92+
kramdown-parser-gfm (= 1.1.0)
93+
liquid (= 4.0.4)
94+
mercenary (~> 0.3)
95+
minima (= 2.5.1)
96+
nokogiri (>= 1.16.2, < 2.0)
97+
rouge (= 3.30.0)
98+
terminal-table (~> 1.4)
99+
webrick (~> 1.8)
100+
github-pages-health-check (1.18.2)
101+
addressable (~> 2.3)
102+
dnsruby (~> 1.60)
103+
octokit (>= 4, < 8)
104+
public_suffix (>= 3.0, < 6.0)
105+
typhoeus (~> 1.3)
106+
html-pipeline (2.14.3)
107+
activesupport (>= 2)
108+
nokogiri (>= 1.4)
109+
http_parser.rb (0.8.0)
110+
i18n (1.14.7)
111+
concurrent-ruby (~> 1.0)
112+
jekyll (3.10.0)
113+
addressable (~> 2.4)
114+
colorator (~> 1.0)
115+
csv (~> 3.0)
116+
em-websocket (~> 0.5)
117+
i18n (>= 0.7, < 2)
118+
jekyll-sass-converter (~> 1.0)
119+
jekyll-watch (~> 2.0)
120+
kramdown (>= 1.17, < 3)
121+
liquid (~> 4.0)
122+
mercenary (~> 0.3.3)
123+
pathutil (~> 0.9)
124+
rouge (>= 1.7, < 4)
125+
safe_yaml (~> 1.0)
126+
webrick (>= 1.0)
127+
jekyll-avatar (0.8.0)
128+
jekyll (>= 3.0, < 5.0)
129+
jekyll-coffeescript (1.2.2)
130+
coffee-script (~> 2.2)
131+
coffee-script-source (~> 1.12)
132+
jekyll-commonmark (1.4.0)
133+
commonmarker (~> 0.22)
134+
jekyll-commonmark-ghpages (0.5.1)
135+
commonmarker (>= 0.23.7, < 1.1.0)
136+
jekyll (>= 3.9, < 4.0)
137+
jekyll-commonmark (~> 1.4.0)
138+
rouge (>= 2.0, < 5.0)
139+
jekyll-default-layout (0.1.5)
140+
jekyll (>= 3.0, < 5.0)
141+
jekyll-feed (0.17.0)
142+
jekyll (>= 3.7, < 5.0)
143+
jekyll-gist (1.5.0)
144+
octokit (~> 4.2)
145+
jekyll-github-metadata (2.16.1)
146+
jekyll (>= 3.4, < 5.0)
147+
octokit (>= 4, < 7, != 4.4.0)
148+
jekyll-include-cache (0.2.1)
149+
jekyll (>= 3.7, < 5.0)
150+
jekyll-mentions (1.6.0)
151+
html-pipeline (~> 2.3)
152+
jekyll (>= 3.7, < 5.0)
153+
jekyll-optional-front-matter (0.3.2)
154+
jekyll (>= 3.0, < 5.0)
155+
jekyll-paginate (1.1.0)
156+
jekyll-readme-index (0.3.0)
157+
jekyll (>= 3.0, < 5.0)
158+
jekyll-redirect-from (0.16.0)
159+
jekyll (>= 3.3, < 5.0)
160+
jekyll-relative-links (0.6.1)
161+
jekyll (>= 3.3, < 5.0)
162+
jekyll-remote-theme (0.4.3)
163+
addressable (~> 2.0)
164+
jekyll (>= 3.5, < 5.0)
165+
jekyll-sass-converter (>= 1.0, <= 3.0.0, != 2.0.0)
166+
rubyzip (>= 1.3.0, < 3.0)
167+
jekyll-sass-converter (1.5.2)
168+
sass (~> 3.4)
169+
jekyll-seo-tag (2.8.0)
170+
jekyll (>= 3.8, < 5.0)
171+
jekyll-sitemap (1.4.0)
172+
jekyll (>= 3.7, < 5.0)
173+
jekyll-swiss (1.0.0)
174+
jekyll-theme-architect (0.2.0)
175+
jekyll (> 3.5, < 5.0)
176+
jekyll-seo-tag (~> 2.0)
177+
jekyll-theme-cayman (0.2.0)
178+
jekyll (> 3.5, < 5.0)
179+
jekyll-seo-tag (~> 2.0)
180+
jekyll-theme-dinky (0.2.0)
181+
jekyll (> 3.5, < 5.0)
182+
jekyll-seo-tag (~> 2.0)
183+
jekyll-theme-hacker (0.2.0)
184+
jekyll (> 3.5, < 5.0)
185+
jekyll-seo-tag (~> 2.0)
186+
jekyll-theme-leap-day (0.2.0)
187+
jekyll (> 3.5, < 5.0)
188+
jekyll-seo-tag (~> 2.0)
189+
jekyll-theme-merlot (0.2.0)
190+
jekyll (> 3.5, < 5.0)
191+
jekyll-seo-tag (~> 2.0)
192+
jekyll-theme-midnight (0.2.0)
193+
jekyll (> 3.5, < 5.0)
194+
jekyll-seo-tag (~> 2.0)
195+
jekyll-theme-minimal (0.2.0)
196+
jekyll (> 3.5, < 5.0)
197+
jekyll-seo-tag (~> 2.0)
198+
jekyll-theme-modernist (0.2.0)
199+
jekyll (> 3.5, < 5.0)
200+
jekyll-seo-tag (~> 2.0)
201+
jekyll-theme-primer (0.6.0)
202+
jekyll (> 3.5, < 5.0)
203+
jekyll-github-metadata (~> 2.9)
204+
jekyll-seo-tag (~> 2.0)
205+
jekyll-theme-slate (0.2.0)
206+
jekyll (> 3.5, < 5.0)
207+
jekyll-seo-tag (~> 2.0)
208+
jekyll-theme-tactile (0.2.0)
209+
jekyll (> 3.5, < 5.0)
210+
jekyll-seo-tag (~> 2.0)
211+
jekyll-theme-time-machine (0.2.0)
212+
jekyll (> 3.5, < 5.0)
213+
jekyll-seo-tag (~> 2.0)
214+
jekyll-titles-from-headings (0.5.3)
215+
jekyll (>= 3.3, < 5.0)
216+
jekyll-watch (2.2.1)
217+
listen (~> 3.0)
218+
jemoji (0.13.0)
219+
gemoji (>= 3, < 5)
220+
html-pipeline (~> 2.2)
221+
jekyll (>= 3.0, < 5.0)
222+
json (2.15.0)
223+
kramdown (2.4.0)
224+
rexml
225+
kramdown-parser-gfm (1.1.0)
226+
kramdown (~> 2.0)
227+
liquid (4.0.4)
228+
listen (3.9.0)
229+
rb-fsevent (~> 0.10, >= 0.10.3)
230+
rb-inotify (~> 0.9, >= 0.9.10)
231+
logger (1.7.0)
232+
mercenary (0.3.6)
233+
minima (2.5.1)
234+
jekyll (>= 3.5, < 5.0)
235+
jekyll-feed (~> 0.9)
236+
jekyll-seo-tag (~> 2.1)
237+
minitest (5.25.5)
238+
mutex_m (0.3.0)
239+
net-http (0.6.0)
240+
uri
241+
nokogiri (1.17.2-arm64-darwin)
242+
racc (~> 1.4)
243+
nokogiri (1.17.2-x86_64-darwin)
244+
racc (~> 1.4)
245+
nokogiri (1.17.2-x86_64-linux)
246+
racc (~> 1.4)
247+
octokit (4.25.1)
248+
faraday (>= 1, < 3)
249+
sawyer (~> 0.9)
250+
pathutil (0.16.2)
251+
forwardable-extended (~> 2.6)
252+
public_suffix (5.1.1)
253+
racc (1.8.1)
254+
rb-fsevent (0.11.2)
255+
rb-inotify (0.11.1)
256+
ffi (~> 1.0)
257+
rexml (3.4.4)
258+
rouge (3.30.0)
259+
rubyzip (2.4.1)
260+
safe_yaml (1.0.5)
261+
sass (3.7.4)
262+
sass-listen (~> 4.0.0)
263+
sass-listen (4.0.0)
264+
rb-fsevent (~> 0.9, >= 0.9.4)
265+
rb-inotify (~> 0.9, >= 0.9.7)
266+
sawyer (0.9.2)
267+
addressable (>= 2.3.5)
268+
faraday (>= 0.17.3, < 3)
269+
securerandom (0.3.2)
270+
simpleidn (0.2.3)
271+
terminal-table (1.8.0)
272+
unicode-display_width (~> 1.1, >= 1.1.1)
273+
typhoeus (1.5.0)
274+
ethon (>= 0.9.0, < 0.16.0)
275+
tzinfo (2.0.6)
276+
concurrent-ruby (~> 1.0)
277+
unicode-display_width (1.8.0)
278+
uri (1.0.3)
279+
webrick (1.9.1)
280+
281+
PLATFORMS
282+
arm64-darwin
283+
x86_64-darwin
284+
x86_64-linux
285+
286+
DEPENDENCIES
287+
github-pages
288+
jekyll-include-cache
289+
290+
BUNDLED WITH
291+
2.5.23

0 commit comments

Comments
 (0)