Skip to content

Actions: shapr/kudzu

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

seems to work except for nix build, why no tests? build #7: Commit f513d46 pushed by shapr
November 5, 2024 23:00 35s split-deps
split-deps
November 5, 2024 23:00 35s
refactor lgtm build #6: Commit 8456a70 pushed by shapr
May 11, 2024 22:49 2m 11s main
main
May 11, 2024 22:49 2m 11s
start refactor build #5: Commit 1841b52 pushed by shapr
April 22, 2024 14:50 1m 1s main
main
April 22, 2024 14:50 1m 1s
clean up docstrings, remove spurious comments build #4: Commit b16911c pushed by shapr
September 7, 2023 18:09 1m 9s main
main
September 7, 2023 18:09 1m 9s
Merge pull request #12 from Rewbert/main build #3: Commit 3b4e03c pushed by shapr
September 7, 2023 18:04 4m 16s main
main
September 7, 2023 18:04 4m 16s
Merge pull request #9 from rudymatela/feat/report-counterexample-lc build #2: Commit 519100a pushed by shapr
August 18, 2023 22:36 5m 3s main
main
August 18, 2023 22:36 5m 3s
Merge pull request #7 from rudymatela/ci/add-ci build #1: Commit 723b576 pushed by shapr
August 18, 2023 22:34 4m 50s main
main
August 18, 2023 22:34 4m 50s