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

📝 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
📝 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
✨ 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
🐛 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
📝 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
📝 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
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
📝 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
Merge pull request #33 from coq-community/list-empty Nix CI for bundle default #146: Commit 4610307 pushed by CohenCyril
January 23, 2024 16:06 5m 54s master
master
January 23, 2024 16:06 5m 54s
✨ Proofs for list and Empty Nix CI for bundle default #145: Pull request #33 synchronize by CohenCyril
January 23, 2024 15:45 5m 44s
January 23, 2024 15:45 5m 44s
✨ Proofs for list and Empty Nix CI for bundle default #144: Pull request #33 opened by ecranceMERCE
January 23, 2024 14:28 5m 56s
January 23, 2024 14:28 5m 56s
Merge pull request #29 from coq-community/doc Nix CI for bundle default #143: Commit aff92c4 pushed by ecranceMERCE
January 19, 2024 10:11 5m 45s master
master
January 19, 2024 10:11 5m 45s
📝 Doc on do-not-fail Nix CI for bundle default #142: Pull request #29 opened by ecranceMERCE
January 19, 2024 09:26 6m 11s
January 19, 2024 09:26 6m 11s
WIP: decorrelates knowing translations from using translations Nix CI for bundle default #141: Pull request #18 synchronize by CohenCyril
January 17, 2024 18:18 32m 4s
January 17, 2024 18:18 32m 4s
WIP: decorrelates knowing translations from using translations Nix CI for bundle default #140: Pull request #18 synchronize by CohenCyril
January 17, 2024 17:54 5m 25s
January 17, 2024 17:54 5m 25s
Generic coercion code Nix CI for bundle default #139: Pull request #19 opened by CohenCyril
January 17, 2024 17:42 5m 41s
January 17, 2024 17:42 5m 41s
WIP: decorrelates knowing translations from using translations Nix CI for bundle default #138: Pull request #18 synchronize by CohenCyril
January 17, 2024 16:10 47m 53s
January 17, 2024 16:10 47m 53s
WIP: decorrelates knowing translations from using translations Nix CI for bundle default #137: Pull request #18 opened by CohenCyril
January 17, 2024 16:08 49m 43s
January 17, 2024 16:08 49m 43s