Skip to content

Actions: GaloisInc/yapall

Nix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nix
Nix #15: submitted by langston-barrett
November 6, 2023 16:12 13m 41s
November 6, 2023 16:12 13m 41s
Nix
Nix #14: submitted by langston-barrett
September 19, 2023 18:24 11m 51s
September 19, 2023 18:24 11m 51s
Nix
Nix #13: submitted by alex-birman
September 18, 2023 18:33 2s
September 18, 2023 18:33 2s
Nix
Nix #12: submitted by langston-barrett
September 16, 2023 17:56 2s
September 16, 2023 17:56 2s
Nix
Nix #11: submitted by langston-barrett
August 31, 2023 22:01 13m 56s
August 31, 2023 22:01 13m 56s
ci: Add workflow to build the Nix flake
Nix #10: Pull request #47 synchronize by kquick
August 31, 2023 21:44 14m 7s nix-ci
August 31, 2023 21:44 14m 7s
Add lit and llvm_14 as dependencies for nix flake check phase.
Nix #9: Commit d4aec10 pushed by kquick
August 31, 2023 21:43 12m 19s nix-ci
August 31, 2023 21:43 12m 19s
ci: Add workflow to build the Nix flake
Nix #8: Pull request #47 synchronize by kquick
August 31, 2023 18:05 1m 32s nix-ci
August 31, 2023 18:05 1m 32s
Add lit check to yapall check phase for nix flake.
Nix #7: Commit c423e0e pushed by kquick
August 31, 2023 18:05 1m 35s nix-ci
August 31, 2023 18:05 1m 35s
ci: Add workflow to build the Nix flake
Nix #6: Pull request #47 synchronize by kquick
August 30, 2023 21:36 12m 9s nix-ci
August 30, 2023 21:36 12m 9s
Bump cachix/install-nix-action for nix-ci.
Nix #5: Commit 95817bf pushed by kquick
August 30, 2023 21:36 14m 50s nix-ci
August 30, 2023 21:36 14m 50s
ci: Add workflow to build the Nix flake
Nix #4: Pull request #47 synchronize by kquick
August 30, 2023 20:23 13m 34s nix-ci
August 30, 2023 20:23 13m 34s
Bump cachix/install-nix-action for nix-ci.
Nix #3: Commit 6f3525b pushed by kquick
August 30, 2023 20:23 11m 58s nix-ci
August 30, 2023 20:23 11m 58s
ci: Add workflow to build the Nix flake
Nix #2: Pull request #47 opened by kquick
August 30, 2023 20:18 Startup failure nix-ci
August 30, 2023 20:18 Startup failure
Adds nix-based CI build to address Issue #45
Nix #1: Commit 6f44dac pushed by kquick
August 30, 2023 20:17 1s nix-ci
August 30, 2023 20:17 1s