Skip to content

Actions: mkantor/please-lang-prototype

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow runs
222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #96 from mkantor/fix-nested-functions-with-ifs validate commit #222: Commit 0fb50a9 pushed by mkantor
34s main
main
34s
Fix programs with @ifs referring to properties erased from final output validate commit #221: Pull request #96 opened by mkantor
31s fix-nested-functions-with-ifs
fix-nested-functions-with-ifs
31s
Merge pull request #95 from mkantor/keyword-expression-parsing-improv… validate commit #220: Commit e3c33ed pushed by mkantor
18s main
main
18s
Improve parsing for keyword expressions validate commit #219: Pull request #95 opened by mkantor
19s keyword-expression-parsing-improvement
keyword-expression-parsing-improvement
19s
Merge pull request #94 from mkantor/fancier-syntax-highlighting validate commit #218: Commit f2702ff pushed by mkantor
18s main
main
18s
Make syntax highlighting fancier validate commit #217: Pull request #94 synchronize by mkantor
21s fancier-syntax-highlighting
fancier-syntax-highlighting
21s
Make syntax highlighting fancier validate commit #216: Pull request #94 opened by mkantor
19s fancier-syntax-highlighting
fancier-syntax-highlighting
19s
Merge pull request #93 from mkantor/infix-keywords validate commit #215: Commit b8aca6d pushed by mkantor
19s main
main
19s
Update parser to allow keyword expressions as infix operands validate commit #214: Pull request #93 opened by mkantor
22s infix-keywords
infix-keywords
22s
Merge pull request #92 from mkantor/boolean-bugs validate commit #213: Commit dff6b9c pushed by mkantor
18s main
main
18s
Fix some stupid bugs in boolean.and and boolean.or validate commit #212: Pull request #92 opened by mkantor
17s boolean-bugs
boolean-bugs
17s
Merge pull request #91 from mkantor/assume validate commit #211: Commit c68dfb7 pushed by mkantor
22s main
main
22s
Add assume function to prelude (and ~ alias) validate commit #210: Pull request #91 opened by mkantor
21s assume
assume
21s
Merge pull request #90 from mkantor/check-type-system validate commit #209: Commit cdf7a4d pushed by mkantor
18s main
main
18s
Wire up @check to the real type system validate commit #208: Pull request #90 synchronize by mkantor
17s check-type-system
check-type-system
17s
Wire up @check to the real type system validate commit #207: Pull request #90 opened by mkantor
18s check-type-system
check-type-system
18s
Merge pull request #89 from mkantor/infix-fixes validate commit #206: Commit 7efc25b pushed by mkantor
19s main
main
19s
Tweak unparsing, especially of infix expressions validate commit #205: Pull request #89 synchronize by mkantor
20s infix-fixes
infix-fixes
20s
Tweak unparsing, especially of infix expressions validate commit #204: Pull request #89 synchronize by mkantor
18s infix-fixes
infix-fixes
18s
Tweak unparsing, especially of infix expressions validate commit #203: Pull request #89 opened by mkantor
17s infix-fixes
infix-fixes
17s
Merge pull request #88 from mkantor/integer-type-name validate commit #202: Commit bcd8255 pushed by mkantor
20s main
main
20s
Fix integer type name validate commit #201: Pull request #88 opened by mkantor
21s integer-type-name
integer-type-name
21s
Merge pull request #87 from mkantor/better-trailing-newline-logic validate commit #200: Commit bca1f41 pushed by mkantor
18s main
main
18s
Improve sanity of trailing newline handling in command-line output validate commit #199: Pull request #87 opened by mkantor
17s better-trailing-newline-logic
better-trailing-newline-logic
17s
Merge pull request #86 from mkantor/comment-wrapping validate commit #198: Commit 0d9ba9b pushed by mkantor
22s main
main
22s