Skip to content

Actions: thethinkmachine/AutomataStudio

Actions

Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
164 workflow runs
164 workflow runs

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
3.2.2 Deploy to GitHub Pages #164: Commit 6c33e18 pushed by thethinkmachine
42s main
main
42s
Merge pull request #156 from thethinkmachine/refactor/algorithm-cards Deploy to GitHub Pages #163: Commit 895dfa2 pushed by thethinkmachine
44s main
main
44s
release: v3.2.1 Deploy to GitHub Pages #162: Commit a8e1e04 pushed by thethinkmachine
35s main
main
35s
Merge pull request #154 from thethinkmachine/fix/note-leaders-on-edge Deploy to GitHub Pages #161: Commit c67ef7f pushed by thethinkmachine
44s main
main
44s
Merge pull request #153 from thethinkmachine/fix/load-built-result Deploy to GitHub Pages #160: Commit edebce1 pushed by thethinkmachine
32s main
main
32s
Merge pull request #151 from thethinkmachine/fix/kleene-star-layout Deploy to GitHub Pages #159: Commit 5e3a056 pushed by thethinkmachine
38s main
main
38s
Merge pull request #150 from thethinkmachine/fix/notes-markdown Deploy to GitHub Pages #158: Commit d2e19c1 pushed by thethinkmachine
39s main
main
39s
Merge pull request #149 from thethinkmachine/refactor/delegated-actions Deploy to GitHub Pages #157: Commit ba9a40c pushed by thethinkmachine
40s main
main
40s
Merge pull request #148 from thethinkmachine/refactor/delegated-actions Deploy to GitHub Pages #156: Commit 0b9f13b pushed by thethinkmachine
41s main
main
41s
Merge pull request #140 from thethinkmachine/fix/aux-close-tooltip Deploy to GitHub Pages #155: Commit 4f73699 pushed by thethinkmachine
42s main
main
42s
release: v3.2.0 Deploy to GitHub Pages #154: Commit 5bb9ce6 pushed by thethinkmachine
47s main
main
47s
Merge pull request #139 from thethinkmachine/feat/edit-dialogs Deploy to GitHub Pages #153: Commit 6b202ea pushed by thethinkmachine
44s main
main
44s
release: v3.1.5 Deploy to GitHub Pages #152: Commit b09efb4 pushed by thethinkmachine
30s main
main
30s
Merge pull request #138 from thethinkmachine/fix/aux-window-modal Deploy to GitHub Pages #151: Commit 0735df9 pushed by thethinkmachine
30s main
main
30s
release: v3.1.4 Deploy to GitHub Pages #150: Commit 186e6b8 pushed by thethinkmachine
56s main
main
56s
Merge pull request #137 from thethinkmachine/feat/logo-byline-and-ver… Deploy to GitHub Pages #149: Commit bc8b010 pushed by thethinkmachine
42s main
main
42s
Merge pull request #135 from thethinkmachine/fix/cli-play-windows-app Deploy to GitHub Pages #148: Commit 391c93f pushed by thethinkmachine
37s main
main
37s
Merge pull request #134 from thethinkmachine/fix/panel-sections-polish Deploy to GitHub Pages #147: Commit a268f8c pushed by thethinkmachine
38s main
main
38s
Merge pull request #133 from thethinkmachine/feat/edge-label-inline-edit Deploy to GitHub Pages #146: Commit 859fc57 pushed by thethinkmachine
48s main
main
48s
Merge pull request #132 from thethinkmachine/docs/cli-animations Deploy to GitHub Pages #145: Commit 0786b21 pushed by thethinkmachine
42s main
main
42s
Merge pull request #131 from thethinkmachine/feat/workspace-tab-strip Deploy to GitHub Pages #144: Commit 46e283e pushed by thethinkmachine
36s main
main
36s
Merge pull request #130 from thethinkmachine/ccr-2dcabe26-4zqbn5 Deploy to GitHub Pages #143: Commit 9c34859 pushed by thethinkmachine
30s main
main
30s
Merge pull request #129 from thethinkmachine/bbchallenge-coq-bouncers Deploy to GitHub Pages #142: Commit d631e70 pushed by thethinkmachine
29s main
main
29s
Merge pull request #128 from thethinkmachine/bbchallenge-deciders Deploy to GitHub Pages #141: Commit e11012d pushed by thethinkmachine
35s main
main
35s
Merge pull request #127 from thethinkmachine/fix/essay-guide-line-end… Deploy to GitHub Pages #140: Commit 914b4ec pushed by thethinkmachine
30s main
main
30s