Skip to content

Actions: thethinkmachine/AutomataStudio

Actions

Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
142 workflow runs
142 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
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
Merge pull request #104 from thethinkmachine/perf/fast-tm-lane Deploy to GitHub Pages #139: Commit 5333542 pushed by thethinkmachine
33s main
main
33s
Merge pull request #126 from thethinkmachine/claude/clever-brown-57ki29 Deploy to GitHub Pages #138: Commit 77ac4c6 pushed by thethinkmachine
30s main
main
30s
Merge pull request #125 from thethinkmachine/claude/clever-brown-57ki29 Deploy to GitHub Pages #137: Commit 8969c84 pushed by thethinkmachine
30s main
main
30s
Merge pull request #124 from thethinkmachine/claude/beautiful-volta-u… Deploy to GitHub Pages #136: Commit c1596dc pushed by thethinkmachine
28s main
main
28s
Merge pull request #123 from thethinkmachine/claude/beautiful-volta-u… Deploy to GitHub Pages #135: Commit 86fb693 pushed by thethinkmachine
33s main
main
33s
Merge pull request #122 from thethinkmachine/claude/zen-wright-a2txvk Deploy to GitHub Pages #134: Commit 06d4040 pushed by thethinkmachine
32s main
main
32s
Merge pull request #121 from thethinkmachine/claude/inspiring-lovelac… Deploy to GitHub Pages #133: Commit 078d5d9 pushed by thethinkmachine
42s main
main
42s
Merge pull request #120 from thethinkmachine/feat/library-latex-support Deploy to GitHub Pages #132: Commit de47e2f pushed by thethinkmachine
24s main
main
24s
Merge pull request #118 from thethinkmachine/claude/inspiring-lovelac… Deploy to GitHub Pages #131: Commit 1deb03d pushed by thethinkmachine
34s main
main
34s
Merge pull request #117 from thethinkmachine/feat/cli Deploy to GitHub Pages #130: Commit f92c234 pushed by thethinkmachine
35s main
main
35s
Merge pull request #116 from thethinkmachine/feat/cli Deploy to GitHub Pages #129: Commit 0abab7c pushed by thethinkmachine
35s main
main
35s
Merge pull request #115 from thethinkmachine/feat/cli Deploy to GitHub Pages #128: Commit 4300d7f pushed by thethinkmachine
35s main
main
35s
Merge pull request #114 from thethinkmachine/fix/spacetime-follow-and… Deploy to GitHub Pages #127: Commit 67e00ea pushed by thethinkmachine
31s main
main
31s
Merge pull request #113 from thethinkmachine/feat/settings-organization Deploy to GitHub Pages #126: Commit 3fe001b pushed by thethinkmachine
29s main
main
29s
Merge pull request #112 from thethinkmachine/fix/refit-on-panel-peek Deploy to GitHub Pages #125: Commit 79eabf8 pushed by thethinkmachine
23s main
main
23s
Merge pull request #111 from thethinkmachine/feat/breathing-canvas Deploy to GitHub Pages #124: Commit be70fe7 pushed by thethinkmachine
31s main
main
31s
Merge pull request #110 from thethinkmachine/feat/machine-code Deploy to GitHub Pages #123: Commit 0005cd6 pushed by thethinkmachine
31s main
main
31s
Merge pull request #109 from thethinkmachine/feat/library-sort-and-re… Deploy to GitHub Pages #122: Commit 02d41ad pushed by thethinkmachine
35s main
main
35s
Merge pull request #108 from thethinkmachine/feat/library-site-design Deploy to GitHub Pages #121: Commit 5e89305 pushed by thethinkmachine
33s main
main
33s
Merge pull request #107 from thethinkmachine/feat/theme-quality Deploy to GitHub Pages #120: Commit fdbea76 pushed by thethinkmachine
28s main
main
28s
Release v2.9.0 Deploy to GitHub Pages #119: Commit 7493d80 pushed by thethinkmachine
29s main
main
29s
Release v2.9.0 Deploy to GitHub Pages #118: Commit 7493d80 pushed by thethinkmachine
2s main
main
2s