Skip to content

Actions: sovscode/logicbox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
208 workflow runs
208 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
feat: add arithmetic templates (#282) (main) push to external repo #112: Commit dd3f8bc pushed by felix-berg
12s main
main
12s
bump bulk_verify backend (main) push to external repo #111: Commit 2a68979 pushed by felix-berg
10s main
main
10s
bump bulk_verify backend (main) push to external repo #110: Commit a334b64 pushed by felix-berg
14s main
main
14s
bump bulk_verify backend (main) push to external repo #109: Commit f19cfe9 pushed by felix-berg
9s main
main
9s
fix: missed a comma in templates.json (#281) (main) push to external repo #108: Commit 6b29057 pushed by felix-berg
11s main
main
11s
fix: error in template (exercise 2.3.13(a)) (#280) (main) push to external repo #107: Commit fcbd100 pushed by felix-berg
14s main
main
14s
feat: add templates for TA sessions about predicate logic (#279) (main) push to external repo #106: Commit 8450c0d pushed by felix-berg
10s main
main
10s
feat: add templates for assignments (#278) (main) push to external repo #105: Commit c83439e pushed by felix-berg
16s main
main
16s
fix: hovering a line number should hover the corresponding line (#277) (main) push to external repo #104: Commit b322680 pushed by felix-berg
10s main
main
10s
feat: add some UI flare (#276) (main) push to external repo #103: Commit ab95260 pushed by felix-berg
13s main
main
13s
docs: => is not valid syntax (main) push to external repo #102: Commit a597711 pushed by felix-berg
15s main
main
15s
fix: tsc error making pnpm build fail (#275) (main) push to external repo #101: Commit 6fda3df pushed by felix-berg
12s main
main
12s
fix: inline math elements (#274) (main) push to external repo #100: Commit c3216f4 pushed by felix-berg
13s main
main
13s
feat: keep highlighting the ref when it is being selected (even when … (main) push to external repo #99: Commit ceb479c pushed by felix-berg
11s main
main
11s
bump backend (main) push to external repo #98: Commit 7798299 pushed by felix-berg
14s main
main
14s
feat: add \/ and /\ as syntax for or and and (#272) (main) push to external repo #97: Commit dd99e2c pushed by felix-berg
10s main
main
10s
refactor: cleanup frontend (naming, providers structure, ...) (#271) (main) push to external repo #96: Commit 9ff3a29 pushed by felix-berg
10s main
main
10s
feat: make the selected step more clear (#270) (main) push to external repo #95: Commit dc1fdc3 pushed by felix-berg
12s main
main
12s
feat: only sweep through the references after choosing a rule, not al… (main) push to external repo #94: Commit 0d8545f pushed by felix-berg
16s main
main
16s
fix: remove all console.log calls (#268) (main) push to external repo #93: Commit 4bfac10 pushed by felix-berg
18s main
main
18s
fix: number of refs was calculated based on before-update proof (🤦‍♂️… (main) push to external repo #92: Commit bc7d418 pushed by felix-berg
16s main
main
16s
feat: move on to references when rule is chosen (#266) (main) push to external repo #91: Commit 0313786 pushed by felix-berg
15s main
main
15s
feat: rename uploaded proof to whatever (1) when there is one with … (main) push to external repo #90: Commit c15dbaa pushed by felix-berg
9s main
main
9s
fix: clicking diagnostics should not trigger INTERACT_OUTSIDE (#264) (main) push to external repo #89: Commit daeb3b5 pushed by felix-berg
11s main
main
11s
fix: no stray INTERACT_OUTSIDE event on rule change (#263) (main) push to external repo #88: Commit 2af32c9 pushed by felix-berg
14s main
main
14s