Skip to content

Actions: ShenMian/theory_of_computation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs(README): add build instructions Build #13: Commit 5021062 pushed by ShenMian
August 18, 2025 07:44 29s main
main
August 18, 2025 07:44 29s
docs(README): add build instructions and license badge Build #12: Commit dba2abb pushed by ShenMian
August 18, 2025 07:33 26s main
main
August 18, 2025 07:33 26s
docs(README): add build instructions and license badge Build #11: Commit 820de46 pushed by ShenMian
August 18, 2025 03:56 27s main
main
August 18, 2025 03:56 27s
build: update dependencies Build #10: Commit 48bc4b3 pushed by ShenMian
June 4, 2025 08:43 25s main
main
June 4, 2025 08:43 25s
chore: improve minor details Build #9: Commit ff438a3 pushed by ShenMian
May 17, 2025 19:14 23s main
main
May 17, 2025 19:14 23s
chore: compress images Build #8: Commit 4650fe6 pushed by ShenMian
May 14, 2025 18:32 36s main
main
May 14, 2025 18:32 36s
fix: update transition symbols to use math font for clarity Build #7: Commit 3ace7d3 pushed by ShenMian
April 11, 2025 02:01 29s main
main
April 11, 2025 02:01 29s
fix: clarify theorem statement for regular languages Build #6: Commit 3bce5c2 pushed by ShenMian
April 11, 2025 01:17 37s main
main
April 11, 2025 01:17 37s
fix: correct acceptance state annotations in automata theory Build #5: Commit 67e2c3c pushed by ShenMian
April 11, 2025 01:16 26s main
main
April 11, 2025 01:16 26s
chore: update imports and add new dependencies Build #4: Commit 5a59aa2 pushed by ShenMian
February 15, 2025 17:09 24s main
main
February 15, 2025 17:09 24s
chore: update imports and add new dependencies Build #3: Commit 274afaa pushed by ShenMian
February 15, 2025 17:05 26s main
main
February 15, 2025 17:05 26s
build(main.typ): update imports and add new dependencies Build #2: Commit 0a04f47 pushed by ShenMian
February 15, 2025 17:05 23s main
main
February 15, 2025 17:05 23s
ci: add build and release workflow Build #1: Commit 4aa8303 pushed by ShenMian
February 15, 2025 13:31 31s main
main
February 15, 2025 13:31 31s