Skip to content

Actions: alux-network/alux-programming

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 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 #15: by github-pages Bot
36s github-pages
github-pages
36s
docs: connect object algebras with type-level defunctionalization 📚 Deploy mdBook to GitHub Pages #20: Commit 2445733 pushed by tgrospic
7m 16s master
master
7m 16s
pages build and deployment pages-build-deployment #14: by github-pages Bot
34s github-pages
github-pages
34s
chore: add references to defunctionalization page 📚 Deploy mdBook to GitHub Pages #19: Commit 660faa2 pushed by tgrospic
27s master
master
27s
pages build and deployment pages-build-deployment #13: by github-pages Bot
42s github-pages
github-pages
42s
chore: remove obsolete config, update dependencies 📚 Deploy mdBook to GitHub Pages #18: Commit b3da0c1 pushed by tgrospic
6m 45s master
master
6m 45s
chore: remove obsolete config, update dependencies 📚 Deploy mdBook to GitHub Pages #17: Commit 5c60558 pushed by tgrospic
6m 24s master
master
6m 24s
chore: remove obsolete config 📚 Deploy mdBook to GitHub Pages #16: Commit 8778d3a pushed by tgrospic
7m 22s master
master
7m 22s
feat: add referential transparency concept with insights 📚 Deploy mdBook to GitHub Pages #15: Commit 150f69b pushed by tgrospic
7m 18s master
master
7m 18s
pages build and deployment pages-build-deployment #12: by github-pages Bot
27s github-pages
github-pages
27s
feat: update Alux logo / favicon 📚 Deploy mdBook to GitHub Pages #14: Commit ab49a21 pushed by tgrospic
7m 44s master
master
7m 44s
pages build and deployment pages-build-deployment #11: by github-pages Bot
24s github-pages
github-pages
24s
feat: add concept of branching and confluence 📚 Deploy mdBook to GitHub Pages #13: Commit 0cc3ef3 pushed by tgrospic
20s master
master
20s
pages build and deployment pages-build-deployment #10: by github-pages Bot
28s github-pages
github-pages
28s
fix: multiplication in an example 📚 Deploy mdBook to GitHub Pages #12: Commit 9efaab7 pushed by tgrospic
25s master
master
25s
pages build and deployment pages-build-deployment #9: by github-pages Bot
24s github-pages
github-pages
24s
feat: add Operational Semantics concept 📚 Deploy mdBook to GitHub Pages #11: Commit ce1d290 pushed by tgrospic
2m 36s master
master
2m 36s
pages build and deployment pages-build-deployment #8: by github-pages Bot
20s github-pages
github-pages
20s
chore: reorganize concepts links, change book title 📚 Deploy mdBook to GitHub Pages #10: Commit a83796a pushed by tgrospic
2m 43s master
master
2m 43s
pages build and deployment pages-build-deployment #7: by github-pages Bot
20s github-pages
github-pages
20s
chore: reorganize concepts links 📚 Deploy mdBook to GitHub Pages #9: Commit 06abc02 pushed by tgrospic
22s master
master
22s
pages build and deployment pages-build-deployment #6: by github-pages Bot
21s github-pages
github-pages
21s
chore: added repo and edit links 📚 Deploy mdBook to GitHub Pages #8: Commit 520bbf0 pushed by tgrospic
23s master
master
23s
pages build and deployment pages-build-deployment #5: by github-pages Bot
22s github-pages
github-pages
22s
ci: build and deploy workflow 📚 Deploy mdBook to GitHub Pages #7: Commit 075e16c pushed by tgrospic
31s master
master
31s