Skip to content

Actions: coq-community/trocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
196 workflow runs
196 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

👷 Dockerfile on artifact ZIP Nix CI for bundle default #71: Commit 45ce115 pushed by ecranceMERCE
January 3, 2024 14:48 4m 7s master
master
January 3, 2024 14:48 4m 7s
english Nix CI for bundle default #70: Commit 7dbe1d6 pushed by CohenCyril
January 3, 2024 02:14 6m 36s master
master
January 3, 2024 02:14 6m 36s
Merge pull request #11 from coq-community/automatic-weakening Nix CI for bundle default #69: Commit a51cfde pushed by CohenCyril
January 3, 2024 01:36 3m 57s master
master
January 3, 2024 01:36 3m 57s
Automatic weakening of constants Nix CI for bundle default #68: Pull request #11 synchronize by CohenCyril
January 3, 2024 01:31 3m 59s
January 3, 2024 01:31 3m 59s
Automatic weakening of constants Nix CI for bundle default #67: Pull request #11 synchronize by CohenCyril
January 3, 2024 01:20 4m 1s
January 3, 2024 01:20 4m 1s
Automatic weakening of constants Nix CI for bundle default #66: Pull request #11 synchronize by CohenCyril
January 3, 2024 00:41 4m 4s
January 3, 2024 00:41 4m 4s
Automatic weakening of constants Nix CI for bundle default #65: Pull request #11 opened by CohenCyril
January 3, 2024 00:31 4m 5s
January 3, 2024 00:31 4m 5s
🚧 Dockerfile (does not work yet) Nix CI for bundle default #64: Commit 4a61282 pushed by ecranceMERCE
January 2, 2024 17:12 4m 6s master
master
January 2, 2024 17:12 4m 6s
Merge pull request #10 from CohenCyril/renaming Nix CI for bundle default #63: Commit c031116 pushed by CohenCyril
January 2, 2024 13:08 4m 4s master
master
January 2, 2024 13:08 4m 4s
📄 Add Inria in license Nix CI for bundle default #62: Commit 0ab5537 pushed by ecranceMERCE
January 2, 2024 12:58 4m 12s master
master
January 2, 2024 12:58 4m 12s
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