Skip to content

Actions: jespercockx/agda-core

Actions

Update all dependencies in flake.lock

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
flake-lock-update.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update all dependencies in flake.lock Update all dependencies in flake.lock #8: Manually run by jespercockx
September 24, 2024 13:45 55s main
main
September 24, 2024 13:45 55s
Update all dependencies in flake.lock Update all dependencies in flake.lock #7: Manually run by jespercockx
September 10, 2024 15:16 44s main
main
September 10, 2024 15:16 44s
Update all dependencies in flake.lock Update all dependencies in flake.lock #6: Manually run by jespercockx
February 9, 2024 16:10 49s minimize-unfolding
minimize-unfolding
February 9, 2024 16:10 49s
Update all dependencies in flake.lock Update all dependencies in flake.lock #5: Manually run by jespercockx
February 1, 2024 08:50 44s case-typing
case-typing
February 1, 2024 08:50 44s
Update all dependencies in flake.lock Update all dependencies in flake.lock #4: Manually run by jespercockx
January 31, 2024 17:13 43s case-typing
case-typing
January 31, 2024 17:13 43s
Update all dependencies in flake.lock Update all dependencies in flake.lock #3: Manually run by jespercockx
January 19, 2024 15:39 40s main
main
January 19, 2024 15:39 40s
Update all dependencies in flake.lock Update all dependencies in flake.lock #2: Manually run by jespercockx
January 17, 2024 17:29 51s main
main
January 17, 2024 17:29 51s
Update all dependencies in flake.lock Update all dependencies in flake.lock #1: Manually run by jespercockx
January 17, 2024 17:10 41s main
main
January 17, 2024 17:10 41s