Skip to content

Actions: thethinkmachine/AutomataStudio

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
430 workflow runs
430 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 #149: by github-pages Bot
20s gh-pages
gh-pages
20s
Merge pull request #77 from thethinkmachine/perf/label-stage-kernel Electron Build #190: Commit 54820c3 pushed by thethinkmachine
1m 53s main
main
1m 53s
Merge pull request #77 from thethinkmachine/perf/label-stage-kernel Deploy to GitHub Pages #87: Commit 54820c3 pushed by thethinkmachine
25s main
main
25s
perf(geometry): flatten the layout grid, and compile the label stage's inner loop Electron Build #189: Pull request #77 opened by thethinkmachine
1m 49s perf/label-stage-kernel
perf/label-stage-kernel
1m 49s
pages build and deployment pages-build-deployment #148: by github-pages Bot
28s gh-pages
gh-pages
28s
Merge pull request #76 from thethinkmachine/chore/remove-dead-code Electron Build #188: Commit 53cf9fc pushed by thethinkmachine
2m 4s main
main
2m 4s
Merge pull request #76 from thethinkmachine/chore/remove-dead-code Deploy to GitHub Pages #86: Commit 53cf9fc pushed by thethinkmachine
26s main
main
26s
chore: remove dead code, and two facts that were stated twice Electron Build #187: Pull request #76 opened by thethinkmachine
2m 9s chore/remove-dead-code
chore/remove-dead-code
2m 9s
pages build and deployment pages-build-deployment #147: by github-pages Bot
32s gh-pages
gh-pages
32s
chore(release): v2.7.4 Electron Build #186: Commit 3718e17 pushed by thethinkmachine
2m 21s v2.7.4
v2.7.4
2m 21s
chore(release): v2.7.4 Electron Build #185: Commit 3718e17 pushed by thethinkmachine
1m 54s main
main
1m 54s
chore(release): v2.7.4 Deploy to GitHub Pages #85: Commit 3718e17 pushed by thethinkmachine
28s main
main
28s
pages build and deployment pages-build-deployment #146: by github-pages Bot
26s gh-pages
gh-pages
26s
fix(sim): the empty trace log names Σ*, not "a string" Electron Build #184: Commit 6e511b7 pushed by thethinkmachine
1m 49s main
main
1m 49s
fix(sim): the empty trace log names Σ*, not "a string" Deploy to GitHub Pages #84: Commit 6e511b7 pushed by thethinkmachine
26s main
main
26s
pages build and deployment pages-build-deployment #145: by github-pages Bot
21s gh-pages
gh-pages
21s
Merge pull request #75 from thethinkmachine/feat/header-one-plane-of-… Deploy to GitHub Pages #83: Commit 4c1f45a pushed by thethinkmachine
28s main
main
28s
Merge pull request #75 from thethinkmachine/feat/header-one-plane-of-… Electron Build #183: Commit 4c1f45a pushed by thethinkmachine
1m 55s main
main
1m 55s
feat(header): one plane of chrome, and menus a keyboard can reach Electron Build #182: Pull request #75 opened by thethinkmachine
1m 55s feat/header-one-plane-of-chrome
feat/header-one-plane-of-chrome
1m 55s
pages build and deployment pages-build-deployment #144: by github-pages Bot
25s gh-pages
gh-pages
25s
docs(readme): describe the app that exists, and show it running Electron Build #181: Commit f038110 pushed by thethinkmachine
2m 14s main
main
2m 14s
docs(readme): describe the app that exists, and show it running Deploy to GitHub Pages #82: Commit f038110 pushed by thethinkmachine
23s main
main
23s
pages build and deployment pages-build-deployment #143: by github-pages Bot
23s gh-pages
gh-pages
23s
Merge pull request #74 from thethinkmachine/feat/block-runs-and-scope… Electron Build #180: Commit eae84c4 pushed by thethinkmachine
1m 51s main
main
1m 51s
Merge pull request #74 from thethinkmachine/feat/block-runs-and-scope… Deploy to GitHub Pages #81: Commit eae84c4 pushed by thethinkmachine
30s main
main
30s