Skip to content

Actions: Vi-Kitten/Bloom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
lexer errors have positions now! Lean Action CI #9: Commit 8050b13 pushed by Vi-Kitten
26s mistress
mistress
26s
compositor tracks spans Lean Action CI #8: Commit a417d70 pushed by Vi-Kitten
29s mistress
mistress
29s
lexer spanning functional Lean Action CI #7: Commit 9e0e69b pushed by Vi-Kitten
27s mistress
mistress
27s
Implemented classification and token compositing. Fleshed out project… Lean Action CI #6: Commit 7b6cb7a pushed by Vi-Kitten
23s mistress
mistress
23s
lexer made (229 line match statement) Lean Action CI #5: Commit 11d03ef pushed by Vi-Kitten
18s mistress
mistress
18s
I am going to crash out if this compiler does not get off my back! Lean Action CI #4: Commit 00baa16 pushed by Vi-Kitten
19s mistress
mistress
19s
verification is pain Lean Action CI #3: Commit e96b17b pushed by Vi-Kitten
21s mistress
mistress
21s
Learning lean Lean Action CI #2: Commit 9c81f40 pushed by Vi-Kitten
28s mistress
mistress
28s
learning lean Lean Action CI #1: Commit eac7554 pushed by Vi-Kitten
21s mistress
mistress
21s