Skip to content

Actions: calfproject/calfproject.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
add new preprints July 2026 deploy #22: Commit aaa8191 pushed by runmingl
9m 24s main
main
9m 24s
add talks deploy #21: Commit e2b79f0 pushed by runmingl
9m 24s main
main
9m 24s
add google index deploy #20: Commit 26ebedb pushed by runmingl
5m 16s main
main
5m 16s
ack more deploy #19: Commit ef182e2 pushed by runmingl
5m 44s main
main
5m 44s
ack deploy #18: Commit ff860dc pushed by runmingl
5m 30s main
main
5m 30s
favicon adjustment for safari deploy #17: Commit 3891620 pushed by runmingl
5m 37s main
main
5m 37s
oops this is not the right syntax: em deploy #16: Commit 51222ed pushed by runmingl
5m 16s main
main
5m 16s
add rbt and beh deploy #15: Commit 955bf3b pushed by runmingl
5m 13s main
main
5m 13s
add theorems deploy #14: Commit 2f24310 pushed by runmingl
5m 36s main
main
5m 36s
add formalization link deploy #13: Commit 530623f pushed by runmingl
5m 32s main
main
5m 32s
add formalization link deploy #12: Commit 8197120 pushed by runmingl
5m 33s main
main
5m 33s
fix deploy #11: Commit 5e30ad7 pushed by runmingl
5m 47s main
main
5m 47s
add links deploy #10: Commit 8f4431f pushed by runmingl
5m 34s main
main
5m 34s
artifacts deploy #9: Commit 6a27e62 pushed by runmingl
15m 4s main
main
15m 4s
Make favicon transparent deploy #8: Commit 01ddadb pushed by HarrisonGrodin
5m 12s main
main
5m 12s
favicon deploy #7: Commit 3c088eb pushed by runmingl
15m 4s main
main
15m 4s
Update logo deploy #6: Commit ca4631d pushed by HarrisonGrodin
15m 5s main
main
15m 5s
Fix version number deploy #5: Commit a0850fd pushed by HarrisonGrodin
5m 35s main
main
5m 35s
Typos and tweaks deploy #4: Commit 3b448b0 pushed by HarrisonGrodin
40s main
main
40s
Update to Forester 5.0 deploy #3: Commit 341368e pushed by HarrisonGrodin
35s main
main
35s
init commit deploy #2: Commit 604a122 pushed by runmingl
6m 39s main
main
6m 39s