Skip to content

Actions: mattpolzin/ncurses-idris

Actions

ncurses-idris tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #36 from mattpolzin/modernize
ncurses-idris tests #106: Commit 9f1e575 pushed by mattpolzin
December 9, 2024 22:35 2m 5s main
December 9, 2024 22:35 2m 5s
update indexed dependency and modernize nix stuff a bit
ncurses-idris tests #105: Pull request #36 synchronize by mattpolzin
December 9, 2024 22:33 2m 6s modernize
December 9, 2024 22:33 2m 6s
update indexed dependency and modernize nix stuff a bit
ncurses-idris tests #104: Pull request #36 synchronize by mattpolzin
December 9, 2024 22:28 2m 5s modernize
December 9, 2024 22:28 2m 5s
update indexed dependency and modernize nix stuff a bit
ncurses-idris tests #103: Pull request #36 opened by mattpolzin
December 9, 2024 22:26 2m 5s modernize
December 9, 2024 22:26 2m 5s