Skip to content

Actions: egraphs-good/egglog-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow run results
6 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[pre-commit.ci] pre-commit autoupdate CI #210: Pull request #33 opened by pre-commit-ci bot
July 17, 2023 22:34 4m 8s pre-commit-ci-update-config
pre-commit-ci-update-config
July 17, 2023 22:34 4m 8s
Add support for low level Python objects CI #209: Pull request #31 synchronize by saulshanabrook
July 6, 2023 15:21 1m 44s add-py-object
add-py-object
July 6, 2023 15:21 1m 44s
Add support for low level Python objects CI #208: Pull request #31 synchronize by saulshanabrook
July 5, 2023 19:46 1m 29s add-py-object
add-py-object
July 5, 2023 19:46 1m 29s
Add support for low level Python objects CI #207: Pull request #31 opened by saulshanabrook
July 4, 2023 19:36 3m 56s add-py-object
add-py-object
July 4, 2023 19:36 3m 56s
Merge pull request #30 from metadsl/fix-clippy CI #206: Commit cc93bfc pushed by saulshanabrook
July 4, 2023 16:19 4m 20s main
main
July 4, 2023 16:19 4m 20s
Fix some clippy warnings CI #205: Pull request #30 opened by saulshanabrook
July 4, 2023 16:14 4m 17s fix-clippy
fix-clippy
July 4, 2023 16:14 4m 17s