Skip to content

Actions: ProofFrog/ProofFrog.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 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
bundler in /. - Update #1322922469 Dependabot Updates #2: by dependabot bot
36s main
main
36s
bundler in /. - Update #1321066184 Dependabot Updates #1: by dependabot bot
32s main
main
32s
Mention ensurepip Deploy Jekyll site to Pages #15: Commit 0178374 pushed by dstebila
1m 28s main
main
1m 28s
Mention ensurepip CI #29: Commit 0178374 pushed by dstebila
42s main
main
42s
Add CLAUDE.md Deploy Jekyll site to Pages #14: Commit 76f7ed4 pushed by dstebila
1m 20s main
main
1m 20s
Add CLAUDE.md CI #28: Commit 76f7ed4 pushed by dstebila
41s main
main
41s
Update download exercises instructions Deploy Jekyll site to Pages #13: Commit 21b1c4e pushed by dstebila
1m 16s main
main
1m 16s
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