Skip to content

Actions: rnbguy/tla-playground

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
359 workflow runs
359 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1242535826 Dependabot Updates #437: by dependabot bot
28s main
main
28s
polish ui and deps Build #5: Commit 843ef99 pushed by rnbguy
1m 23s main
main
1m 23s
switch ci to java apalache Build #4: Commit 0de7abb pushed by rnbguy
33s main
main
33s
align text and icons Build #3: Commit 5c4ce12 pushed by rnbguy
24s main
main
24s
set monaco to fira Build #2: Commit 1d574ff pushed by rnbguy
23s main
main
23s
fix verify output flow Build #1: Commit aa71db8 pushed by rnbguy
42s main
main
42s
bring back tiny boot shim Build #58: Commit 81d33e9 pushed by rnbguy
23s main
main
23s
include deno lockfile Build #57: Commit 6ccaeab pushed by rnbguy
23s main
main
23s
shuffle routes under api Build #56: Commit ce31ed4 pushed by rnbguy
31s main
main
31s
ping route now gives cleaner grpc health errors Build #55: Commit a87d169 pushed by rnbguy
28s main
main
28s
fix vite imports Build #54: Commit 3de36d9 pushed by rnbguy
27s main
main
27s
pin grpc-js to working version Build #53: Commit 15b13d3 pushed by rnbguy
28s main
main
28s
pin grpc-js to working version Build #52: Commit 5a0db2f pushed by rnbguy
30s main
main
30s
remove deploy job from workflow Build #51: Commit b5ff16d pushed by rnbguy
28s main
main
28s
fix build by adding explicit fontsource imports Build #50: Commit c92ea40 pushed by rnbguy
5m 55s main
main
5m 55s
fix vite build with npm: prefix for fontsource imports Build #49: Commit e3f8d2a pushed by rnbguy
22s main
main
22s
pin deno version to 2.6.5 in ci Build #48: Commit b718013 pushed by rnbguy
24s main
main
24s
fix vite build with npm: prefix for fontsource imports Build #47: Commit e3f8d2a pushed by rnbguy
20s main
main
20s
add client entry, styles, and vite config Build #46: Commit 8e5c8b7 pushed by rnbguy
21s main
main
21s
pin ci deno to match local Build #45: Commit 3ef2aac pushed by rnbguy
22s main
main
22s
add client entry, styles, and vite config Build #44: Commit 8e5c8b7 pushed by rnbguy
25s main
main
25s
make font imports explicit for ci Build #43: Commit ad47880 pushed by rnbguy
24s main
main
24s
make vite stop tripping on protobuf Build #42: Commit d6f8360 pushed by rnbguy
23s main
main
23s
fresh 2 upgrade all wired up Build #41: Commit 75a677c pushed by rnbguy
14s main
main
14s
github_actions in /. - Update #1241513626 Dependabot Updates #436: by dependabot bot
29s main
main
29s