Skip to content

Actions: CMDJojo/dandy

All workflows

Actions

Loading...

Showing runs from all workflows
73 workflow runs
73 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

pages build and deployment
pages-build-deployment #22: by github-pages bot
February 16, 2024 03:55 51s
February 16, 2024 03:55 51s
Bump version
Test #14: Commit dbf2d43 pushed by CMDJojo
February 16, 2024 03:54 2m 52s main
February 16, 2024 03:54 2m 52s
Bump version
Deploy main website #37: Commit dbf2d43 pushed by CMDJojo
February 16, 2024 03:54 1m 7s main
February 16, 2024 03:54 1m 7s
Move some examples
Deploy main website #36: Commit 1a3f265 pushed by CMDJojo
February 14, 2024 10:10 49s main
February 14, 2024 10:10 49s
Move some examples
Test #13: Commit 1a3f265 pushed by CMDJojo
February 14, 2024 10:10 2m 44s main
February 14, 2024 10:10 2m 44s
Changed &mut impl FnMut to mut impl FnMut
Test #12: Commit 2066877 pushed by CMDJojo
February 13, 2024 16:19 2m 53s main
February 13, 2024 16:19 2m 53s
Changed &mut impl FnMut to mut impl FnMut
Deploy main website #35: Commit 2066877 pushed by CMDJojo
February 13, 2024 16:19 54s main
February 13, 2024 16:19 54s
pages build and deployment
pages-build-deployment #21: by github-pages bot
February 13, 2024 15:56 48s
February 13, 2024 15:56 48s
Added enumerate and enumerate-regex subcommand
Test #11: Commit cff49f9 pushed by CMDJojo
February 13, 2024 15:55 2m 46s main
February 13, 2024 15:55 2m 46s
Added enumerate and enumerate-regex subcommand
Deploy main website #34: Commit cff49f9 pushed by CMDJojo
February 13, 2024 15:55 1m 5s main
February 13, 2024 15:55 1m 5s
pages build and deployment
pages-build-deployment #20: by github-pages bot
February 12, 2024 16:31 48s
February 12, 2024 16:31 48s
Add test functionality
Deploy main website #33: Commit cf7e188 pushed by CMDJojo
February 12, 2024 16:30 1m 5s main
February 12, 2024 16:30 1m 5s
Add test functionality
Test #10: Commit cf7e188 pushed by CMDJojo
February 12, 2024 16:30 3m 0s main
February 12, 2024 16:30 3m 0s
Added some help text
Test #9: Commit 9739aa6 pushed by CMDJojo
February 12, 2024 11:58 2m 49s main
February 12, 2024 11:58 2m 49s
Added some help text
Deploy main website #32: Commit 9739aa6 pushed by CMDJojo
February 12, 2024 11:58 1m 4s main
February 12, 2024 11:58 1m 4s
pages build and deployment
pages-build-deployment #19: by github-pages bot
February 12, 2024 09:36 43s
February 12, 2024 09:36 43s
February 12, 2024 09:35 2m 45s
Added iterator over words in the language of a NFA, and added generat…
Deploy main website #31: Commit 2d96cd8 pushed by CMDJojo
February 12, 2024 09:35 58s main
February 12, 2024 09:35 58s
pages build and deployment
pages-build-deployment #18: by github-pages bot
February 10, 2024 03:01 43s
February 10, 2024 03:01 43s
Draft of restructuring of cli
Test #7: Commit 3f7996a pushed by CMDJojo
February 10, 2024 03:00 2m 29s main
February 10, 2024 03:00 2m 29s
Draft of restructuring of cli
Deploy main website #30: Commit 3f7996a pushed by CMDJojo
February 10, 2024 03:00 49s main
February 10, 2024 03:00 49s
pages build and deployment
pages-build-deployment #17: by github-pages bot
February 7, 2024 11:47 42s
February 7, 2024 11:47 42s
Moved "equivalence" to subcommand, and added rough work to union and …
Deploy main website #29: Commit 23cc338 pushed by CMDJojo
February 7, 2024 11:47 52s main
February 7, 2024 11:47 52s
February 7, 2024 11:47 2m 36s
Updated workflows and tests
Deploy main website #28: Commit 0b43b1f pushed by CMDJojo
February 4, 2024 21:01 43s main
February 4, 2024 21:01 43s