Skip to content

Actions: coq-community/trocq

Actions

Nix CI for bundle default

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-default.yml
186 workflow runs
186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding helper functions Nix CI for bundle default #11: Pull request #6 opened by CohenCyril
November 14, 2023 17:43 2m 59s
November 14, 2023 17:43 2m 59s
update meta data Nix CI for bundle default #10: Pull request #2 synchronize by CohenCyril
November 13, 2023 15:48 5m 11s
November 13, 2023 15:48 5m 11s
update meta data Nix CI for bundle default #9: Pull request #2 synchronize by CohenCyril
November 13, 2023 15:38 4m 51s
November 13, 2023 15:38 4m 51s
adding relevant cachix Nix CI for bundle default #8: Commit c2e4027 pushed by CohenCyril
November 13, 2023 15:37 3m 57s master
master
November 13, 2023 15:37 3m 57s
adding relevant cachix Nix CI for bundle default #7: Pull request #5 opened by CohenCyril
November 13, 2023 15:08 3m 51s
November 13, 2023 15:08 3m 51s
update meta data Nix CI for bundle default #6: Pull request #2 synchronize by CohenCyril
November 13, 2023 15:04 5m 7s
November 13, 2023 15:04 5m 7s
update meta data Nix CI for bundle default #5: Pull request #2 synchronize by CohenCyril
November 11, 2023 13:15 4m 20s
November 11, 2023 13:15 4m 20s
Merge pull request #3 from ecranceMERCE/action Nix CI for bundle default #4: Commit 9ebb988 pushed by CohenCyril
November 11, 2023 13:14 4m 17s master
master
November 11, 2023 13:14 4m 17s
update meta data Nix CI for bundle default #3: Pull request #2 synchronize by CohenCyril
November 11, 2023 13:14 3m 57s update
update
November 11, 2023 13:14 3m 57s
Setup nix action Nix CI for bundle default #2: Pull request #3 opened by CohenCyril
November 11, 2023 13:13 5m 55s action
action
November 11, 2023 13:13 5m 55s
update meta data Nix CI for bundle default #1: Pull request #2 opened by CohenCyril
November 11, 2023 13:08 4m 22s update
update
November 11, 2023 13:08 4m 22s