Skip to content

Actions: mkantor/please-lang-prototype

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
179 workflow runs
179 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow @index operations to be deferred until runtime validate commit #79: Pull request #35 opened by mkantor
24s runtime-indexing
runtime-indexing
24s
Merge pull request #34 from mkantor/simplify-unelaboratedness validate commit #78: Commit 912f9f4 pushed by mkantor
29s main
main
29s
Avoid manual unelaboratedness tracking validate commit #77: Pull request #34 synchronize by mkantor
24s simplify-unelaboratedness
simplify-unelaboratedness
24s
Avoid manual unelaboratedness tracking validate commit #76: Pull request #34 opened by mkantor
26s simplify-unelaboratedness
simplify-unelaboratedness
26s
Syntax sugar for @index expressions validate commit #75: Pull request #33 opened by mkantor
29s index-sugar
index-sugar
29s
Merge pull request #32 from mkantor/index-keyword validate commit #74: Commit 2ed205e pushed by mkantor
20s main
main
20s
Add @index keyword expression validate commit #73: Pull request #32 opened by mkantor
25s index-keyword
index-keyword
25s
Merge pull request #31 from mkantor/simplify-molecule-parsers validate commit #72: Commit e327345 pushed by mkantor
25s main
main
25s
Simplify molecule parsers validate commit #71: Pull request #31 synchronize by mkantor
19s simplify-molecule-parsers
simplify-molecule-parsers
19s
Simplify molecule parsers validate commit #70: Pull request #31 opened by mkantor
18s simplify-molecule-parsers
simplify-molecule-parsers
18s
Merge pull request #30 from mkantor/update-parsing-package validate commit #69: Commit 70fdf62 pushed by mkantor
2m 35s main
main
2m 35s
Update parsing package validate commit #68: Pull request #30 opened by mkantor
2m 36s update-parsing-package
update-parsing-package
2m 36s
Merge pull request #29 from mkantor/use-expression-constructors validate commit #67: Commit b11fac1 pushed by mkantor
23s main
main
23s
Leverage keyword expression constructors in prelude validate commit #66: Pull request #29 opened by mkantor
25s use-expression-constructors
use-expression-constructors
25s
Merge pull request #27 from mkantor/miscellanea validate commit #65: Commit cd2a9ff pushed by mkantor
19s main
main
19s
Testing GitHub status checks validate commit #64: Pull request #28 opened by mkantor
24s test-ci-failure
test-ci-failure
24s
Miscellaneous minor improvements validate commit #63: Pull request #27 opened by mkantor
20s miscellanea
miscellanea
20s
Merge pull request #26 from mkantor/unparsing-bugs validate commit #62: Commit 5856157 pushed by mkantor
27s main
main
27s
Fix some unparser bugs validate commit #61: Pull request #26 synchronize by mkantor
25s unparsing-bugs
unparsing-bugs
25s
Merge pull request #25 from mkantor/flesh-out-readme validate commit #60: Commit 830263a pushed by mkantor
23s main
main
23s
Flesh out the README validate commit #59: Pull request #25 synchronize by mkantor
24s flesh-out-readme
flesh-out-readme
24s
Fix some unparser bugs validate commit #58: Pull request #26 synchronize by mkantor
23s unparsing-bugs
unparsing-bugs
23s
Fix some unparser bugs validate commit #57: Pull request #26 opened by mkantor
20s unparsing-bugs
unparsing-bugs
20s
Flesh out the README validate commit #56: Pull request #25 opened by mkantor
20s flesh-out-readme
flesh-out-readme
20s
Merge pull request #24 from mkantor/tighter-tsconfig validate commit #55: Commit 7420794 pushed by mkantor
23s main
main
23s