Skip to content

Actions: isomorphisms/ir

Actions

Unicode lexer

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lexer.yml
9 workflow runs
9 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #18 from isomorphisms/fn-identifier-compat Unicode lexer #9: Commit f148449 pushed by isomorphisms
4m 22s equality-glyph-aliases
equality-glyph-aliases
4m 22s
Restore bare fn package compatibility Unicode lexer #8: Pull request #18 synchronize by isomorphisms
4m 24s fn-identifier-compat
fn-identifier-compat
4m 24s
Restore bare fn package compatibility Unicode lexer #7: Pull request #18 synchronize by isomorphisms
4m 14s fn-identifier-compat
fn-identifier-compat
4m 14s
Restore bare fn package compatibility Unicode lexer #6: Pull request #18 synchronize by isomorphisms
4m 24s fn-identifier-compat
fn-identifier-compat
4m 24s
Make ⊗ the Kronecker product Unicode lexer #5: Pull request #22 opened by isomorphisms
4m 37s tensor-product-glyph
tensor-product-glyph
4m 37s
Run tensor-product examples in CI Unicode lexer #4: Commit b1cd9c9 pushed by isomorphisms
3m 16s tensor-product-glyph
tensor-product-glyph
3m 16s
Restore bare fn package compatibility Unicode lexer #3: Pull request #18 opened by isomorphisms
5m 19s fn-identifier-compat
fn-identifier-compat
5m 19s
Prefer ≟ and add equality aliases Unicode lexer #2: Pull request #5 synchronize by isomorphisms
3m 55s equality-glyph-aliases
equality-glyph-aliases
3m 55s
Check Unicode lexer priority in CI Unicode lexer #1: Commit 909cb9d pushed by isomorphisms
3m 31s equality-glyph-aliases
equality-glyph-aliases
3m 31s