Skip to content

Actions: Maokami/AlgEffectus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: enhance type safety and handler typing Lean Action CI #35: Commit 94ac34d pushed by Maokami
1m 15s feature/type-system
feature/type-system
1m 15s
refactor: improve variable handling in semantics and typing modules Lean Action CI #34: Commit f83ec46 pushed by Maokami
2m 2s feature/type-system
feature/type-system
2m 2s
refactor: simplify and standardize core functionalities across variou… Lean Action CI #33: Commit 650052e pushed by Maokami
1m 41s feature/type-system
feature/type-system
1m 41s
doc: update README.md with detailed project description and structure Lean Action CI #32: Commit a2b4ba7 pushed by Maokami
1m 28s feature/type-system
feature/type-system
1m 28s
Refactor and enhance the AlgEffectus.Core module Lean Action CI #31: Commit 20a8486 pushed by Maokami
1m 48s main
main
1m 48s
Refactor and enhance the AlgEffectus.Core module Lean Action CI #30: Pull request #8 opened by Maokami
2m 4s feature/type-system
feature/type-system
2m 4s
Refactor and enhance the AlgEffectus.Core module Lean Action CI #29: Commit d549839 pushed by Maokami
1m 55s feature/type-system
feature/type-system
1m 55s
Revert "doc: update README.md with detailed project description and s… Lean Action CI #28: Commit 39f4b10 pushed by Maokami
1m 17s revert-7-docs/readme
revert-7-docs/readme
1m 17s
doc: update README.md with detailed project description and structure Lean Action CI #27: Commit d773e77 pushed by Maokami
1m 36s main
main
1m 36s
doc: update README.md with detailed project description and structure Lean Action CI #26: Pull request #7 opened by Maokami
1m 31s docs/readme
docs/readme
1m 31s
doc: update README.md with detailed project description and structure Lean Action CI #25: Commit c30e846 pushed by Maokami
1m 18s docs/readme
docs/readme
1m 18s
Merge pull request #5 from Maokami/add-issue-template Lean Action CI #24: Commit c3c6520 pushed by Maokami
1m 16s main
main
1m 16s
Update issue templates Lean Action CI #23: Pull request #5 opened by Maokami
1m 34s add-issue-template
add-issue-template
1m 34s
Update issue templates Lean Action CI #22: Commit b571491 pushed by Maokami
1m 12s add-issue-template
add-issue-template
1m 12s
Merge pull request #4 from Maokami/LICENSE Lean Action CI #21: Commit a5b5936 pushed by Maokami
1m 36s add-issue-template
add-issue-template
1m 36s
Merge pull request #4 from Maokami/LICENSE Lean Action CI #20: Commit a5b5936 pushed by Maokami
1m 17s main
main
1m 17s
Create LICENSE Lean Action CI #19: Pull request #4 opened by Maokami
1m 16s LICENSE
LICENSE
1m 16s
Create LICENSE Lean Action CI #18: Commit 9c758b3 pushed by Maokami
1m 35s LICENSE
LICENSE
1m 35s
Merge pull request #2 from Maokami/feature/syntax Lean Action CI #17: Commit 545e2c2 pushed by Maokami
1m 21s main
main
1m 21s
refactor: simplify concrete syntax for App Lean Action CI #16: Pull request #2 opened by Maokami
1m 20s feature/syntax
feature/syntax
1m 20s
refactor: simplify concrete syntax for App Lean Action CI #15: Commit ce17c38 pushed by Maokami
1m 22s feature/syntax
feature/syntax
1m 22s
Merge pull request #1 from Maokami/feature/type-system Lean Action CI #14: Commit d19f30b pushed by Maokami
1m 18s main
main
1m 18s
feat: define core type system for algebraic effects and handlers Lean Action CI #13: Pull request #1 opened by Maokami
1m 39s feature/type-system
feature/type-system
1m 39s
feat: define core type system for algebraic effects and handlers Lean Action CI #12: Commit c30be77 pushed by Maokami
1m 17s feature/type-system
feature/type-system
1m 17s
refactor: clean up Lean Action CI #11: Commit 582518f pushed by Maokami
1m 36s main
main
1m 36s