Skip to content

Actions: JuliaServices/Match.jl

Actions

Doc Preview Cleanup

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
previews-cleanup.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Basic extractors Doc Preview Cleanup #14: Pull request #114 closed by nystrom
November 21, 2024 15:01 14s nn-extract
nn-extract
November 21, 2024 15:01 14s
Basic extractors Doc Preview Cleanup #13: Pull request #114 closed by nystrom
November 18, 2024 19:00 16s nn-extract
nn-extract
November 18, 2024 19:00 16s
Normalize !=, <, and > in guards Doc Preview Cleanup #12: Pull request #113 closed by nystrom
November 14, 2024 08:44 19s nn-neq-guards
nn-neq-guards
November 14, 2024 08:44 19s
Test the behavior of NaN in a where clause. Doc Preview Cleanup #11: Pull request #115 closed by gafter
November 13, 2024 22:35 12s testnan
testnan
November 13, 2024 22:35 12s
Document: qualified names are no longer treated as interpolations (#90) Doc Preview Cleanup #10: Pull request #112 closed by gafter
November 13, 2024 00:33 12s doc-90
doc-90
November 13, 2024 00:33 12s
Add support for ML-style guards which are patterns of the form if e end Doc Preview Cleanup #9: Pull request #110 closed by gafter
November 11, 2024 20:33 13s MLStyle-style-guards
MLStyle-style-guards
November 11, 2024 20:33 13s
Fix #106 by removing accidental quadratic perf. Doc Preview Cleanup #8: Pull request #108 closed by gafter
November 10, 2024 20:11 14s bug-106
bug-106
November 10, 2024 20:11 14s
Defer generating labels in the automaton to prevent duplicate labels being generated Doc Preview Cleanup #7: Pull request #105 closed by gafter
November 8, 2024 23:47 13s bug102
bug102
November 8, 2024 23:47 13s
When a pattern variable is defined on only one side of a disjunction, Doc Preview Cleanup #6: Pull request #100 closed by gafter
December 19, 2023 22:26 13s partial1
partial1
December 19, 2023 22:26 13s
Update Neal's email. Doc Preview Cleanup #5: Pull request #97 closed by gafter
October 23, 2023 19:07 17s fix-email
fix-email
October 23, 2023 19:07 17s
Complete overhaul of implementation taken from Rematch2.jl Doc Preview Cleanup #4: Pull request #78 closed by gafter
August 3, 2023 17:09 15s Rematch2
Rematch2
August 3, 2023 17:09 15s