Skip to content

Actions: jespercockx/agda-core

Actions

Update all dependencies but nixpkgs in flake.lock

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
flake-lock-update-not-nixpkgs.yml
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update all dependencies but nixpkgs in flake.lock Update all dependencies but nixpkgs in flake.lock #1: Manually run by jespercockx
18s main
main
18s