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

Remove tactic param in favor of trocq Nix CI for bundle default #61: Pull request #10 opened by CohenCyril
January 2, 2024 08:52 4m 34s
January 2, 2024 08:52 4m 34s
📝 Artifact evaluation files Nix CI for bundle default #60: Commit 38792d2 pushed by ecranceMERCE
December 22, 2023 17:31 4m 23s master
master
December 22, 2023 17:31 4m 23s
preparing Trocq to add prop Nix CI for bundle default #59: Pull request #9 opened by CohenCyril
December 20, 2023 20:18 4m 5s
December 20, 2023 20:18 4m 5s
Merge pull request #8 from coq-community/more-examples Nix CI for bundle default #58: Commit bcf1e28 pushed by CohenCyril
December 15, 2023 17:35 52m 37s master
master
December 15, 2023 17:35 52m 37s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #57: Pull request #8 synchronize by CohenCyril
December 11, 2023 23:26 4m 40s
December 11, 2023 23:26 4m 40s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #56: Pull request #8 synchronize by CohenCyril
December 11, 2023 22:44 3m 48s
December 11, 2023 22:44 3m 48s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #55: Pull request #8 synchronize by CohenCyril
December 11, 2023 22:34 3m 59s
December 11, 2023 22:34 3m 59s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #54: Pull request #8 synchronize by CohenCyril
December 11, 2023 22:23 4m 11s
December 11, 2023 22:23 4m 11s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #53: Pull request #8 synchronize by CohenCyril
December 11, 2023 22:23 4m 14s
December 11, 2023 22:23 4m 14s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #52: Pull request #8 synchronize by CohenCyril
December 10, 2023 22:39 4m 12s
December 10, 2023 22:39 4m 12s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #51: Pull request #8 synchronize by CohenCyril
December 10, 2023 22:27 3m 54s
December 10, 2023 22:27 3m 54s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #50: Pull request #8 synchronize by CohenCyril
December 10, 2023 22:07 4m 1s
December 10, 2023 22:07 4m 1s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #49: Pull request #8 synchronize by CohenCyril
December 10, 2023 22:07 4m 12s
December 10, 2023 22:07 4m 12s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #48: Pull request #8 synchronize by CohenCyril
December 9, 2023 21:34 4m 7s
December 9, 2023 21:34 4m 7s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #47: Pull request #8 synchronize by CohenCyril
December 9, 2023 17:41 4m 0s
December 9, 2023 17:41 4m 0s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #46: Pull request #8 synchronize by CohenCyril
December 9, 2023 17:40 4m 8s
December 9, 2023 17:40 4m 8s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #45: Pull request #8 synchronize by CohenCyril
December 9, 2023 16:50 4m 2s
December 9, 2023 16:50 4m 2s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #44: Pull request #8 synchronize by CohenCyril
December 9, 2023 16:43 4m 11s
December 9, 2023 16:43 4m 11s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #43: Pull request #8 synchronize by ecranceMERCE
December 9, 2023 14:02 3m 47s
December 9, 2023 14:02 3m 47s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #42: Pull request #8 synchronize by ecranceMERCE
December 9, 2023 14:00 4m 9s
December 9, 2023 14:00 4m 9s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #41: Pull request #8 synchronize by ecranceMERCE
December 8, 2023 13:08 4m 0s
December 8, 2023 13:08 4m 0s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #40: Pull request #8 synchronize by CohenCyril
December 7, 2023 17:26 3m 57s
December 7, 2023 17:26 3m 57s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #39: Pull request #8 synchronize by ecranceMERCE
December 7, 2023 16:41 4m 2s
December 7, 2023 16:41 4m 2s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #38: Pull request #8 synchronize by CohenCyril
December 7, 2023 16:24 4m 6s
December 7, 2023 16:24 4m 6s
🚧 Additional example relating tuples and vectors Nix CI for bundle default #37: Pull request #8 synchronize by ecranceMERCE
December 7, 2023 16:17 4m 15s
December 7, 2023 16:17 4m 15s