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

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
Fix comments and example Nix CI for bundle default #136: Commit 95f083a pushed by CohenCyril
January 16, 2024 23:12 5m 41s master
master
January 16, 2024 23:12 5m 41s
Fix comments and example Nix CI for bundle default #135: Pull request #17 opened by CohenCyril
January 16, 2024 18:35 5m 39s
January 16, 2024 18:35 5m 39s
Compress Nix CI for bundle default #134: Commit 44efa82 pushed by CohenCyril
January 16, 2024 09:28 13m 22s master
master
January 16, 2024 09:28 13m 22s
Compress Nix CI for bundle default #133: Pull request #16 synchronize by CohenCyril
January 16, 2024 08:06 6m 1s
January 16, 2024 08:06 6m 1s
Compress Nix CI for bundle default #132: Pull request #16 synchronize by CohenCyril
January 15, 2024 17:16 7m 0s
January 15, 2024 17:16 7m 0s
Compress Nix CI for bundle default #131: Pull request #16 synchronize by CohenCyril
January 15, 2024 17:11 5m 38s
January 15, 2024 17:11 5m 38s
Compress Nix CI for bundle default #130: Pull request #16 opened by CohenCyril
January 15, 2024 17:06 5m 48s
January 15, 2024 17:06 5m 48s
Update INSTALL.md Nix CI for bundle default #129: Commit 64179dc pushed by CohenCyril
January 15, 2024 11:55 5m 40s master
master
January 15, 2024 11:55 5m 40s
fix Nix CI for bundle default #128: Commit cc47a1f pushed by CohenCyril
January 15, 2024 11:15 5m 29s master
master
January 15, 2024 11:15 5m 29s
fix Nix CI for bundle default #127: Pull request #15 opened by CohenCyril
January 15, 2024 11:09 5m 32s
January 15, 2024 11:09 5m 32s
📝 Clear todos from doc Nix CI for bundle default #126: Commit 24a8785 pushed by ecranceMERCE
January 15, 2024 09:54 5m 21s master
master
January 15, 2024 09:54 5m 21s
example of transfer of nat_rec to an abtract type + bugfix Nix CI for bundle default #125: Commit d2e0ea3 pushed by CohenCyril
January 15, 2024 09:43 5m 28s master
master
January 15, 2024 09:43 5m 28s
generic DOI Nix CI for bundle default #124: Commit e06e6e7 pushed by CohenCyril
January 15, 2024 09:43 5m 50s master
master
January 15, 2024 09:43 5m 50s
generic DOI Nix CI for bundle default #123: Pull request #14 opened by CohenCyril
January 15, 2024 09:42 5m 56s
January 15, 2024 09:42 5m 56s
example of transfer of nat_rec to an abtract type + bugfix Nix CI for bundle default #122: Pull request #13 synchronize by CohenCyril
January 12, 2024 19:13 5m 35s
January 12, 2024 19:13 5m 35s