Skip to content

Actions: ProofFrog/ProofFrog.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Update download exercises instructions CI #27: Commit 21b1c4e pushed by dstebila
34s main
main
34s
Release of v0.4.0 CI #26: Commit 8e678a2 pushed by dstebila
41s main
main
41s
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 CI #25: Commit 96e6b3a pushed by dstebila
35s main
main
35s
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
Major website rewrite (#5) CI #24: Commit 976ea40 pushed by dstebila
1m 1s main
main
1m 1s
Major website rewrite CI #23: Pull request #5 opened by dstebila
1m 8s manual-rewrite
manual-rewrite
1m 8s
Add examples checkout to installation instructions CI #22: Commit 29f5a29 pushed by dstebila
19s main
main
19s
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 CI #21: Commit 06fff36 pushed by dstebila
40s main
main
40s
More website updates Deploy Jekyll site to Pages #8: Commit 06fff36 pushed by dstebila
1m 5s main
main
1m 5s
Fix typos CI #20: Commit 8edba6f pushed by dstebila
36s main
main
36s
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
Update presentation CI #18: Commit d633a57 pushed by dstebila
13s main
main
13s
Other fonts CI #17: Commit 8563241 pushed by dstebila
16s main
main
16s
Other fonts Deploy Jekyll site to Pages #5: Commit 8563241 pushed by dstebila
49s main
main
49s
Update presentation CI #16: Commit 03033c8 pushed by dstebila
17s main
main
17s
Update presentation Deploy Jekyll site to Pages #4: Commit 03033c8 pushed by dstebila
50s main
main
50s
Add CAPS 2025 presentation CI #15: Commit c9c18a7 pushed by dstebila
20s main
main
20s
Add CAPS 2025 presentation Deploy Jekyll site to Pages #3: Commit c9c18a7 pushed by dstebila
50s main
main
50s
Remove old workflow CI #14: Commit e74dac5 pushed by dstebila
13s main
main
13s
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 CI #13: Commit ae461eb pushed by dstebila
14s main
main
14s