Skip to content

Actions: jfecher/ante

Actions

Ante

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ante.yml
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Get expr test parsing Ante #41: Commit 5f74463 pushed by jfecher
January 20, 2025 23:58 51s master
master
January 20, 2025 23:58 51s
Remove keywords map Ante #40: Commit 040dcb0 pushed by jfecher
January 20, 2025 17:49 1m 0s master
master
January 20, 2025 17:49 1m 0s
More support for hir::Handle Ante #39: Commit 2c2986b pushed by jfecher
January 20, 2025 17:08 55s master
master
January 20, 2025 17:08 55s
Update inkwell Ante #38: Commit 4e48162 pushed by jfecher
January 16, 2025 15:30 1m 1s master
master
January 16, 2025 15:30 1m 1s
Merge branch 'master' of https://github.com/jfecher/ante Ante #37: Commit a6dfb25 pushed by jfecher
January 12, 2025 15:15 49s master
master
January 12, 2025 15:15 49s
Add 'unhandled effects at top-level' error Ante #36: Commit 7541205 pushed by jfecher
January 6, 2025 01:06 42s master
master
January 6, 2025 01:06 42s
Remove unneeded parenthesis (#203) Ante #35: Commit b2aae73 pushed by jfecher
November 11, 2024 16:01 46s master
master
November 11, 2024 16:01 46s
Remove unneeded parenthesis Ante #34: Pull request #203 synchronize by jfecher
November 11, 2024 15:59 46s eldesh:remove-unneeded-parenthesis
eldesh:remove-unneeded-parenthesis
November 11, 2024 15:59 46s
Remove unneeded parenthesis Ante #33: Pull request #203 synchronize by eldesh
November 11, 2024 14:10 46s eldesh:remove-unneeded-parenthesis
eldesh:remove-unneeded-parenthesis
November 11, 2024 14:10 46s
Remove unneeded parenthesis Ante #32: Pull request #203 synchronize by eldesh
November 8, 2024 19:48 44s eldesh:remove-unneeded-parenthesis
eldesh:remove-unneeded-parenthesis
November 8, 2024 19:48 44s
Remove unneeded parenthesis Ante #31: Pull request #203 opened by eldesh
November 8, 2024 19:33 44s eldesh:remove-unneeded-parenthesis
eldesh:remove-unneeded-parenthesis
November 8, 2024 19:33 44s
Add .! for mutable field offsets Ante #30: Commit 91f0d34 pushed by jfecher
August 11, 2024 21:13 48s master
master
August 11, 2024 21:13 48s
Change '&mut' to '!' Ante #29: Commit 0d704f2 pushed by jfecher
August 11, 2024 20:29 53s master
master
August 11, 2024 20:29 53s
Fix subtyping ordering & some bugs Ante #28: Commit 1f7660e pushed by jfecher
August 11, 2024 20:14 45s master
master
August 11, 2024 20:14 45s
Add an actual subtyping relation Ante #27: Commit d902bd7 pushed by jfecher
August 11, 2024 19:50 55s master
master
August 11, 2024 19:50 55s
Fix hover hints in LSP debugging types instead of displaying them Ante #26: Commit d53eddf pushed by jfecher
August 11, 2024 17:38 46s master
master
August 11, 2024 17:38 46s
Fix nix link Ante #25: Commit 73b7bbc pushed by jfecher
August 7, 2024 16:44 50s master
master
August 7, 2024 16:44 50s
This commit updates the the link from the former, unofficial nixos wi… Ante #24: Commit 6c389d4 pushed by jfecher
August 7, 2024 16:43 53s master
master
August 7, 2024 16:43 53s
Update link from unofficial wiki to official one Ante #23: Pull request #199 opened by llakala
August 2, 2024 17:07 59s llakala:fix-wiki-link
llakala:fix-wiki-link
August 2, 2024 17:07 59s
Merge branch 'references' Ante #22: Commit c6d1681 pushed by jfecher
July 4, 2024 18:03 46s master
master
July 4, 2024 18:03 46s
Update inkwell and llvm to 17.0 Ante #21: Commit bba2bba pushed by jfecher
July 4, 2024 16:59 52s master
master
July 4, 2024 16:59 52s
Draft: Add Else Operator Ante #20: Pull request #198 synchronize by anoojpatel
May 26, 2024 18:40 47s anoojpatel:master
anoojpatel:master
May 26, 2024 18:40 47s
Draft: Add Else Operator Ante #19: Pull request #198 synchronize by jfecher
May 20, 2024 20:52 48s anoojpatel:master
anoojpatel:master
May 20, 2024 20:52 48s
Draft: Add Else Operator Ante #18: Pull request #198 synchronize by jfecher
May 20, 2024 20:51 54s anoojpatel:master
anoojpatel:master
May 20, 2024 20:51 54s
Draft: Add Else Operator Ante #17: Pull request #198 synchronize by jfecher
May 20, 2024 20:50 50s anoojpatel:master
anoojpatel:master
May 20, 2024 20:50 50s