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

Example with refinements Nix CI for bundle default #163: Pull request #35 synchronize by CohenCyril
February 9, 2024 15:38 10m 43s
February 9, 2024 15:38 10m 43s
Example with refinements Nix CI for bundle default #162: Pull request #35 opened by ecranceMERCE
February 1, 2024 16:16 5m 49s
February 1, 2024 16:16 5m 49s
📝 Doc: composition + begin refinement Nix CI for bundle default #161: Commit b1c881a pushed by ecranceMERCE
February 1, 2024 16:02 6m 15s master
master
February 1, 2024 16:02 6m 15s
pages build and deployment pages-build-deployment #8: by ecranceMERCE
February 1, 2024 16:02 1m 31s
February 1, 2024 16:02 1m 31s
📝 Associated doc on option->list Nix CI for bundle default #160: Commit 3a790c4 pushed by ecranceMERCE
January 31, 2024 22:31 5m 38s master
master
January 31, 2024 22:31 5m 38s
pages build and deployment pages-build-deployment #7: by ecranceMERCE
January 31, 2024 22:31 33s
January 31, 2024 22:31 33s
✨ Directed relation option->list Nix CI for bundle default #159: Commit 42061d2 pushed by ecranceMERCE
January 31, 2024 17:56 6m 12s master
master
January 31, 2024 17:56 6m 12s
pages build and deployment pages-build-deployment #6: by ecranceMERCE
January 31, 2024 17:56 35s
January 31, 2024 17:56 35s
🐛 Fix suboptimal transitivity proofs Nix CI for bundle default #158: Commit cec21c1 pushed by ecranceMERCE
January 31, 2024 17:36 6m 28s master
master
January 31, 2024 17:36 6m 28s
pages build and deployment pages-build-deployment #5: by ecranceMERCE
January 31, 2024 17:36 38s
January 31, 2024 17:36 38s
📝 Doc on vector/tuple Nix CI for bundle default #157: Commit 1a8f8ad pushed by ecranceMERCE
January 31, 2024 09:04 5m 59s master
master
January 31, 2024 09:04 5m 59s
pages build and deployment pages-build-deployment #4: by ecranceMERCE
January 31, 2024 09:04 34s
January 31, 2024 09:04 34s
📝 Doc on directed relations Nix CI for bundle default #156: Commit 1dda38f pushed by ecranceMERCE
January 30, 2024 15:03 5m 55s master
master
January 30, 2024 15:03 5m 55s
pages build and deployment with artifacts-next pages-build-deployment #3: by ecranceMERCE
January 30, 2024 15:03 37s
January 30, 2024 15:03 37s
Delete artifact-clean.zip Nix CI for bundle default #155: Commit ee5bf1c pushed by CohenCyril
January 30, 2024 09:49 5m 50s master
master
January 30, 2024 09:49 5m 50s
pages build and deployment with artifacts-next pages-build-deployment #2: by CohenCyril
January 30, 2024 09:49 33s
January 30, 2024 09:49 33s
pages build and deployment with artifacts-next pages-build-deployment #1: by ecranceMERCE
January 30, 2024 08:49 31s
January 30, 2024 08:49 31s
📝 GitHub pages for the project Nix CI for bundle default #154: Commit 70524c0 pushed by ecranceMERCE
January 29, 2024 18:11 6m 23s master
master
January 29, 2024 18:11 6m 23s
Merge pull request #34 from coq-community/list-finegrained Nix CI for bundle default #153: Commit b5bd4bf pushed by CohenCyril
January 24, 2024 16:15 5m 51s master
master
January 24, 2024 16:15 5m 51s
Finer-grained hierarchy for list Nix CI for bundle default #152: Pull request #34 synchronize by CohenCyril
January 24, 2024 15:57 5m 54s
January 24, 2024 15:57 5m 54s
Finer-grained hierarchy for list Nix CI for bundle default #151: Pull request #34 synchronize by CohenCyril
January 24, 2024 15:54 5m 55s
January 24, 2024 15:54 5m 55s
Finer-grained hierarchy for list Nix CI for bundle default #150: Pull request #34 synchronize by CohenCyril
January 23, 2024 16:54 5m 48s
January 23, 2024 16:54 5m 48s
Finer-grained hierarchy for list Nix CI for bundle default #149: Pull request #34 synchronize by CohenCyril
January 23, 2024 16:51 5m 40s
January 23, 2024 16:51 5m 40s
Finer-grained hierarchy for list Nix CI for bundle default #148: Pull request #34 synchronize by CohenCyril
January 23, 2024 16:49 6m 3s
January 23, 2024 16:49 6m 3s
Finer-grained hierarchy for list Nix CI for bundle default #147: Pull request #34 opened by CohenCyril
January 23, 2024 16:24 5m 44s
January 23, 2024 16:24 5m 44s