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

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
example of transfer of nat_rec to an abtract type + bugfix Nix CI for bundle default #121: Pull request #13 synchronize by CohenCyril
January 12, 2024 19:10 5m 31s
January 12, 2024 19:10 5m 31s
example of transfer of nat_rec to an abtract type + bugfix Nix CI for bundle default #120: Pull request #13 opened by CohenCyril
January 12, 2024 17:46 5m 34s
January 12, 2024 17:46 5m 34s
📝 Documentation (elpi) Nix CI for bundle default #119: Commit 0d12389 pushed by ecranceMERCE
January 12, 2024 16:19 5m 43s master
master
January 12, 2024 16:19 5m 43s
📝 Documentation (theories) Nix CI for bundle default #118: Commit 15ad3cf pushed by ecranceMERCE
January 12, 2024 15:15 5m 44s master
master
January 12, 2024 15:15 5m 44s
Update REQUIREMENTS.md Nix CI for bundle default #117: Commit 4d2d532 pushed by CohenCyril
January 11, 2024 19:11 7m 34s master
master
January 11, 2024 19:11 7m 34s
VSCode -> VSCode current user Nix CI for bundle default #116: Commit 1dba18e pushed by CohenCyril
January 11, 2024 16:45 5m 34s master
master
January 11, 2024 16:45 5m 34s
Add DOI Zenodo to the STATUS.md Nix CI for bundle default #115: Commit ab39a7d pushed by CohenCyril
January 11, 2024 16:43 5m 30s master
master
January 11, 2024 16:43 5m 30s
Fix link and document other requirements Nix CI for bundle default #114: Commit 78e96d4 pushed by CohenCyril
January 11, 2024 16:38 5m 36s master
master
January 11, 2024 16:38 5m 36s
adding symlinks to artifact-doc Nix CI for bundle default #113: Commit 13af0f4 pushed by CohenCyril
January 11, 2024 16:15 5m 33s master
master
January 11, 2024 16:15 5m 33s
Adding DOI Nix CI for bundle default #112: Commit f8c542f pushed by CohenCyril
January 11, 2024 16:09 5m 44s master
master
January 11, 2024 16:09 5m 44s