Skip to content

Actions: ProofFrog/ProofFrog.github.io

Actions

Deploy Jekyll site to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jekyll.yml
15 workflow runs
15 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
Mention ensurepip Deploy Jekyll site to Pages #15: Commit 0178374 pushed by dstebila
1m 28s main
main
1m 28s
Add CLAUDE.md Deploy Jekyll site to Pages #14: Commit 76f7ed4 pushed by dstebila
1m 20s main
main
1m 20s
Update download exercises instructions Deploy Jekyll site to Pages #13: Commit 21b1c4e pushed by dstebila
1m 16s main
main
1m 16s
Release of v0.4.0 Deploy Jekyll site to Pages #12: Commit 8e678a2 pushed by dstebila
1m 23s main
main
1m 23s
Release of VS Code extension Deploy Jekyll site to Pages #11: Commit 96e6b3a pushed by dstebila
1m 25s main
main
1m 25s
Major website rewrite (#5) Deploy Jekyll site to Pages #10: Commit 976ea40 pushed by dstebila
1m 18s main
main
1m 18s
Add examples checkout to installation instructions Deploy Jekyll site to Pages #9: Commit 29f5a29 pushed by dstebila
1m 3s main
main
1m 3s
More website updates Deploy Jekyll site to Pages #8: Commit 06fff36 pushed by dstebila
1m 5s main
main
1m 5s
Fix typos Deploy Jekyll site to Pages #7: Commit 8edba6f pushed by dstebila
55s main
main
55s
Update presentation Deploy Jekyll site to Pages #6: Commit d633a57 pushed by dstebila
51s main
main
51s
Other fonts Deploy Jekyll site to Pages #5: Commit 8563241 pushed by dstebila
49s main
main
49s
Update presentation Deploy Jekyll site to Pages #4: Commit 03033c8 pushed by dstebila
50s main
main
50s
Add CAPS 2025 presentation Deploy Jekyll site to Pages #3: Commit c9c18a7 pushed by dstebila
50s main
main
50s
Remove old workflow Deploy Jekyll site to Pages #2: Commit e74dac5 pushed by dstebila
45s main
main
45s
Create new jekyll flow for pages deployment Deploy Jekyll site to Pages #1: Commit ae461eb pushed by dstebila
30s main
main
30s