Skip to content

Actions: the-nix-way/dev-templates

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96 workflow runs
96 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #61 from Fede-26/add-swi-prolog
Run checks #76: Commit 17d5788 pushed by lucperkins
November 4, 2024 20:37 3m 26s main
November 4, 2024 20:37 3m 26s
Add swi-prolog environment
Determinate CI #10: Pull request #61 synchronize by lucperkins
November 4, 2024 20:36 8m 57s Fede-26:add-swi-prolog
November 4, 2024 20:36 8m 57s
Add swi-prolog environment
Run checks #75: Pull request #61 synchronize by lucperkins
November 4, 2024 20:36 3m 21s Fede-26:add-swi-prolog
November 4, 2024 20:36 3m 21s
Add Zig tools to README
Determinate CI #9: Commit 9041712 pushed by lucperkins
November 4, 2024 20:36 2m 3s main
November 4, 2024 20:36 2m 3s
Add Zig tools to README
Run checks #74: Commit 9041712 pushed by lucperkins
November 4, 2024 20:36 3m 20s main
November 4, 2024 20:36 3m 20s
Merge pull request #63 from kpbaks/feature/add-zls-and-lldb-to-zig-te…
Run checks #73: Commit 427058a pushed by lucperkins
November 4, 2024 20:34 3m 18s main
November 4, 2024 20:34 3m 18s
Merge pull request #63 from kpbaks/feature/add-zls-and-lldb-to-zig-te…
Determinate CI #8: Commit 427058a pushed by lucperkins
November 4, 2024 20:34 2m 14s main
November 4, 2024 20:34 2m 14s
Add swi-prolog environment
Determinate CI #4: Pull request #61 opened by Fede-26
October 25, 2024 13:41 8m 20s Fede-26:add-swi-prolog
October 25, 2024 13:41 8m 20s
Add swi-prolog environment
Run checks #69: Pull request #61 opened by Fede-26
October 25, 2024 13:41 3m 26s Fede-26:add-swi-prolog
October 25, 2024 13:41 3m 26s
Fix shellcheck issue in dvt command
Determinate CI #3: Commit ac8d27d pushed by lucperkins
October 16, 2024 17:38 7m 30s main
October 16, 2024 17:38 7m 30s
Fix shellcheck issue in dvt command
Run checks #68: Commit ac8d27d pushed by lucperkins
October 16, 2024 17:38 3m 7s main
October 16, 2024 17:38 3m 7s
Remove unnecessary include-output-paths setting
Determinate CI #2: Commit cfdc07c pushed by lucperkins
October 16, 2024 17:32 6m 21s main
October 16, 2024 17:32 6m 21s
Remove unnecessary include-output-paths setting
Run checks #67: Commit cfdc07c pushed by lucperkins
October 16, 2024 17:32 3m 1s main
October 16, 2024 17:32 3m 1s
Use Determinate CI
Determinate CI #1: Commit 9cb59e4 pushed by lucperkins
October 16, 2024 17:30 2s main
October 16, 2024 17:30 2s
Use Determinate CI
Run checks #66: Commit 9cb59e4 pushed by lucperkins
October 16, 2024 17:30 3m 4s main
October 16, 2024 17:30 3m 4s
And one last link
Run checks #65: Commit b27bea1 pushed by lucperkins
October 16, 2024 17:24 3m 1s main
October 16, 2024 17:24 3m 1s
Fix another broken link
Run checks #64: Commit c8cd7e7 pushed by lucperkins
October 16, 2024 17:23 3m 16s main
October 16, 2024 17:23 3m 16s
Fix broken link in README and update flake locks
Run checks #63: Commit e0e02c9 pushed by lucperkins
October 16, 2024 17:23 3m 7s main
October 16, 2024 17:23 3m 7s
Update Nixpkgs dependency
Run checks #62: Commit 97d59ee pushed by lucperkins
October 11, 2024 21:26 3m 0s main
October 11, 2024 21:26 3m 0s
Add support for Lean 4
.github/workflows/flakehub-publish-tagged.yml #5: Commit 772b413 pushed by lucperkins
October 11, 2024 21:22 1m 18s v0.1.4
October 11, 2024 21:22 1m 18s
Add support for Lean 4
Run checks #61: Commit 772b413 pushed by lucperkins
October 11, 2024 21:21 23s main
October 11, 2024 21:21 23s
Upgrade all flake.lock files
Run checks #60: Commit ff07f4f pushed by lucperkins
September 12, 2024 22:20 3m 19s main
September 12, 2024 22:20 3m 19s
Update flake
Run checks #59: Commit ef88ed3 pushed by lucperkins
September 12, 2024 21:07 3m 29s main
September 12, 2024 21:07 3m 29s