Skip to content

Actions: jonweinb/syn-infty-cat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
111 workflow runs
111 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
pages build and deployment pages-build-deployment #34: by github-pages Bot
50s gh-pages
gh-pages
50s
updated yoneda exercises with a proof of naturality Build and deploy MkDocs to GitHub Pages #38: Commit a56d97d pushed by emilyriehl
21s main
main
21s
updated yoneda exercises with a proof of naturality Typecheck with Rzk #40: Commit a56d97d pushed by emilyriehl
13s main
main
13s
better comments Typecheck with Rzk #39: Commit 03c8c8e pushed by emilyriehl
13s main
main
13s
better comments Build and deploy MkDocs to GitHub Pages #37: Commit 03c8c8e pushed by emilyriehl
23s main
main
23s
pages build and deployment pages-build-deployment #33: by github-pages Bot
40s gh-pages
gh-pages
40s
moved everything again Typecheck with Rzk #38: Commit 69acccd pushed by emilyriehl
10s main
main
10s
moved everything again Build and deploy MkDocs to GitHub Pages #36: Commit 69acccd pushed by emilyriehl
27s main
main
27s
pages build and deployment pages-build-deployment #32: by github-pages Bot
46s gh-pages
gh-pages
46s
Merge pull request #2 from ElifUskuplu/main Build and deploy MkDocs to GitHub Pages #35: Commit 8587d39 pushed by emilyriehl
20s main
main
20s
Merge pull request #2 from ElifUskuplu/main Typecheck with Rzk #37: Commit 8587d39 pushed by emilyriehl
13s main
main
13s
adding pictures to associativity exercise Typecheck with Rzk #36: Pull request #2 opened by ElifUskuplu
15s ElifUskuplu:main
ElifUskuplu:main
15s
pages build and deployment pages-build-deployment #31: by github-pages Bot
40s gh-pages
gh-pages
40s
Merge branch 'main' of github.com:jonweinb/syn-infty-cat Build and deploy MkDocs to GitHub Pages #34: Commit ad138d0 pushed by emilyriehl
22s main
main
22s
Merge branch 'main' of github.com:jonweinb/syn-infty-cat Typecheck with Rzk #34: Commit ad138d0 pushed by emilyriehl
17s main
main
17s
pages build and deployment pages-build-deployment #30: by github-pages Bot
35s gh-pages
gh-pages
35s
update websites Build and deploy MkDocs to GitHub Pages #33: Commit 847124b pushed by jonweinb
24s main
main
24s
update websites Typecheck with Rzk #33: Commit 847124b pushed by jonweinb
12s main
main
12s
pages build and deployment pages-build-deployment #29: by github-pages Bot
1m 15s gh-pages
gh-pages
1m 15s
Merge branch 'main' of github.com:jonweinb/syn-infty-cat Typecheck with Rzk #32: Commit 6c88863 pushed by jonweinb
10s main
main
10s
Merge branch 'main' of github.com:jonweinb/syn-infty-cat Build and deploy MkDocs to GitHub Pages #32: Commit 6c88863 pushed by jonweinb
17s main
main
17s
better sections Build and deploy MkDocs to GitHub Pages #31: Commit e11a1fc pushed by emilyriehl
18s main
main
18s
better sections Typecheck with Rzk #31: Commit e11a1fc pushed by emilyriehl
10s main
main
10s
minor updates Typecheck with Rzk #30: Commit ca3094c pushed by emilyriehl
14s main
main
14s
minor updates Build and deploy MkDocs to GitHub Pages #30: Commit ca3094c pushed by emilyriehl
22s main
main
22s