Skip to content

Actions: ProofFrog/ProofFrog.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Create new jekyll flow for pages deployment Deploy Jekyll site to Pages #1: Commit ae461eb pushed by dstebila
30s main
main
30s
Create new jekyll flow for pages deployment Deploy Jekyll site to Pages #10: Commit ae461eb pushed by dstebila
37s main
main
37s
Add CAPS 2025 workshop CI #12: Commit fa47a3c pushed by dstebila
30s main
main
30s
Add CAPS 2025 workshop Deploy Jekyll site to Pages #9: Commit fa47a3c pushed by dstebila
9s main
main
9s
pages build and deployment pages-build-deployment #9: by dstebila
29s main
main
29s