Skip to content

Actions: coq-community/trocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
193 workflow runs
193 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

🚧 Additional example relating tuples and vectors Nix CI for bundle default #18: Pull request #8 synchronize by ecranceMERCE
December 6, 2023 09:35 4m 5s
December 6, 2023 09:35 4m 5s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #17: Pull request #8 opened by ecranceMERCE
December 5, 2023 21:29 4m 6s
December 5, 2023 21:29 4m 6s
Merge pull request #2 from coq-community/update Nix CI for bundle default #16: Commit b5669c4 pushed by palmskog
November 29, 2023 14:07 4m 12s master
master
November 29, 2023 14:07 4m 12s
update meta data Nix CI for bundle default #15: Pull request #2 synchronize by palmskog
November 28, 2023 15:14 4m 2s
November 28, 2023 15:14 4m 2s
update meta data Nix CI for bundle default #14: Pull request #2 synchronize by palmskog
November 28, 2023 14:29 4m 11s
November 28, 2023 14:29 4m 11s
Adding helper functions Nix CI for bundle default #13: Commit 7f4745f pushed by CohenCyril
November 15, 2023 09:40 4m 16s master
master
November 15, 2023 09:40 4m 16s
Adding helper functions Nix CI for bundle default #12: Pull request #6 synchronize by CohenCyril
November 14, 2023 22:59 4m 24s
November 14, 2023 22:59 4m 24s
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