Skip to content

Actions: officialblake/Draw-DFA

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md
Notify Discord on Push or Merge #53: Commit 5905133 pushed by officialblake
January 6, 2025 18:53 9s main
January 6, 2025 18:53 9s
Create LICENSE
Notify Discord on Push or Merge #52: Commit 6f1a30d pushed by officialblake
January 6, 2025 18:52 12s main
January 6, 2025 18:52 12s
Update README.md
Notify Discord on Push or Merge #51: Commit 97a5878 pushed by officialblake
January 2, 2025 18:56 11s main
January 2, 2025 18:56 11s
pages build and deployment
pages-build-deployment #3: by officialblake
December 21, 2024 20:32 40s gh-pages
December 21, 2024 20:32 40s
fixed confirm transition box and transition labels
Notify Discord on Push or Merge #50: Pull request #22 closed by officialblake
December 21, 2024 03:00 10s jacobs999-develop
December 21, 2024 03:00 10s
Merge pull request #22 from officialblake/jacobs999-develop
Notify Discord on Push or Merge #49: Commit e9e0616 pushed by officialblake
December 21, 2024 03:00 13s main
December 21, 2024 03:00 13s
pages build and deployment
pages-build-deployment #2: by officialblake
December 20, 2024 17:54 50s gh-pages
December 20, 2024 17:54 50s
Changed css and added clear machine button
Notify Discord on Push or Merge #48: Pull request #21 closed by officialblake
December 19, 2024 22:13 15s jacobs999-develop
December 19, 2024 22:13 15s
Merge pull request #21 from officialblake/jacobs999-develop
Notify Discord on Push or Merge #47: Commit 7c4268c pushed by officialblake
December 19, 2024 22:13 10s main
December 19, 2024 22:13 10s
Update README.md
Notify Discord on Push or Merge #46: Commit 2163fda pushed by officialblake
December 12, 2024 05:56 9s main
December 12, 2024 05:56 9s
add hosting elements
Notify Discord on Push or Merge #45: Pull request #20 closed by officialblake
December 6, 2024 21:09 11s officialblake-develop
December 6, 2024 21:09 11s
Merge pull request #20 from officialblake/officialblake-develop
Notify Discord on Push or Merge #44: Commit 1b6d5ba pushed by officialblake
December 6, 2024 21:09 11s main
December 6, 2024 21:09 11s
pages build and deployment
pages-build-deployment #1: by officialblake
December 6, 2024 21:05 38s gh-pages
December 6, 2024 21:05 38s
small UI fixes
Notify Discord on Push or Merge #43: Pull request #19 closed by homero272
December 2, 2024 18:53 13s homero272-develop
December 2, 2024 18:53 13s
Merge pull request #19 from officialblake/homero272-develop
Notify Discord on Push or Merge #42: Commit 45434fb pushed by homero272
December 2, 2024 18:53 12s main
December 2, 2024 18:53 12s
implemented BFS on cross Product DFA
Notify Discord on Push or Merge #41: Pull request #18 closed by homero272
November 29, 2024 18:58 9s homero272-develop
November 29, 2024 18:58 9s
Merge pull request #18 from officialblake/homero272-develop
Notify Discord on Push or Merge #40: Commit 33ff027 pushed by homero272
November 29, 2024 18:58 10s main
November 29, 2024 18:58 10s
Merge pull request #17 from officialblake/homero272-develop
Notify Discord on Push or Merge #39: Commit 61c515e pushed by homero272
November 28, 2024 08:19 11s main
November 28, 2024 08:19 11s
added functionality for building cross product DFA
Notify Discord on Push or Merge #38: Pull request #17 closed by homero272
November 28, 2024 08:19 12s homero272-develop
November 28, 2024 08:19 12s
start of implementing logic for dfa equivalnece
Notify Discord on Push or Merge #37: Pull request #16 closed by officialblake
November 27, 2024 23:59 10s homero272-develop
November 27, 2024 23:59 10s
Merge pull request #16 from officialblake/homero272-develop
Notify Discord on Push or Merge #36: Commit 4266d44 pushed by officialblake
November 27, 2024 23:59 9s main
November 27, 2024 23:59 9s
Update Canvas.js
Notify Discord on Push or Merge #35: Commit 9a7f92d pushed by officialblake
November 27, 2024 05:02 12s main
November 27, 2024 05:02 12s
Homero272 develop
Notify Discord on Push or Merge #34: Pull request #15 closed by officialblake
November 27, 2024 04:51 10s homero272-develop
November 27, 2024 04:51 10s
Merge pull request #15 from officialblake/homero272-develop
Notify Discord on Push or Merge #33: Commit e1b893c pushed by officialblake
November 27, 2024 04:51 11s main
November 27, 2024 04:51 11s
adding epsilon transition capabilities for NFAs
Notify Discord on Push or Merge #32: Pull request #14 closed by homero272
November 25, 2024 20:15 14s homero272-develop
November 25, 2024 20:15 14s