Skip to content

Actions: hatoo/egglog-language-server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

0.0.23
Rust #40: Commit bbec235 pushed by hatoo
August 11, 2024 06:42 59s master
August 11, 2024 06:42 59s
Merge pull request #10 from hatoo/subsume
Rust #39: Commit 96b8dd6 pushed by hatoo
August 11, 2024 06:36 1m 7s master
August 11, 2024 06:36 1m 7s
add :subsume
Rust #38: Pull request #10 opened by hatoo
August 11, 2024 06:35 56s subsume
August 11, 2024 06:35 56s
Merge pull request #9 from hatoo/fix-cargo
Rust #37: Commit 9a6af65 pushed by hatoo
August 11, 2024 06:23 1m 3s master
August 11, 2024 06:23 1m 3s
Use stable rust
Rust #36: Pull request #9 opened by hatoo
August 11, 2024 06:23 58s fix-cargo
August 11, 2024 06:23 58s
Merge pull request #7 from hatoo/update
Rust #35: Commit 6ba1067 pushed by hatoo
June 7, 2024 12:42 57s master
June 7, 2024 12:42 57s
update
Rust #34: Pull request #7 opened by hatoo
June 7, 2024 12:40 1m 8s update
June 7, 2024 12:40 1m 8s
cargo update
Rust #33: Commit 07cf31d pushed by hatoo
February 22, 2024 14:02 1m 17s master
February 22, 2024 14:02 1m 17s
add tree-sitter-egglog
Rust #32: Commit fcf558f pushed by hatoo
February 22, 2024 13:08 1m 2s master
February 22, 2024 13:08 1m 2s
0.0.22
Rust #31: Commit cbd6542 pushed by hatoo
February 17, 2024 08:43 58s master
February 17, 2024 08:43 58s
fix
Rust #30: Commit 7e2fc5f pushed by hatoo
February 17, 2024 07:27 1m 3s master
February 17, 2024 07:27 1m 3s
update command
Rust #29: Commit 5c60e90 pushed by hatoo
February 15, 2024 19:44 1m 3s master
February 15, 2024 19:44 1m 3s
0.0.22
Rust #28: Commit 5ef03d9 pushed by hatoo
February 15, 2024 07:08 1m 25s master
February 15, 2024 07:08 1m 25s
completion true/false
Rust #27: Commit 423f7cb pushed by hatoo
February 15, 2024 07:07 55s master
February 15, 2024 07:07 55s
add builtin functions
Rust #26: Commit c32ed4f pushed by hatoo
February 15, 2024 06:54 57s master
February 15, 2024 06:54 57s
cargo update
Rust #25: Commit 0099b7c pushed by hatoo
February 15, 2024 05:44 1m 3s master
February 15, 2024 05:44 1m 3s
add numer, denom
Rust #24: Commit 06e5546 pushed by hatoo
February 15, 2024 05:39 1m 10s master
February 15, 2024 05:39 1m 10s
fix typo
Rust #23: Commit 5262f2b pushed by hatoo
January 30, 2024 00:44 1m 5s master
January 30, 2024 00:44 1m 5s
fix typo
Rust #22: Commit 0d8fb85 pushed by hatoo
January 30, 2024 00:42 1m 14s master
January 30, 2024 00:42 1m 14s
clippy
Rust #21: Commit ff1f692 pushed by hatoo
January 30, 2024 00:34 1m 13s master
January 30, 2024 00:34 1m 13s
Fix typo
Rust #20: Commit e3d0c98 pushed by hatoo
December 6, 2023 12:53 1m 3s master
December 6, 2023 12:53 1m 3s
v0.0.20
Rust #19: Commit 17b0ae9 pushed by hatoo
October 20, 2023 01:50 1m 50s master
October 20, 2023 01:50 1m 50s
v0.0.19
Rust #18: Commit 455fd85 pushed by hatoo
October 16, 2023 11:00 1m 52s master
October 16, 2023 11:00 1m 52s
update parser
Rust #17: Commit bf106b9 pushed by hatoo
October 16, 2023 10:59 1m 42s master
October 16, 2023 10:59 1m 42s
0.0.18
Rust #16: Commit d0aa121 pushed by hatoo
October 12, 2023 13:22 2m 8s master
October 12, 2023 13:22 2m 8s