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

moving the opam and nix instructions to GETTING_STARTED Nix CI for bundle default #86: Commit 1079a9f pushed by CohenCyril
January 5, 2024 09:55 3m 46s master
master
January 5, 2024 09:55 3m 46s
removing anonymized artifact setup + getting started at the root Nix CI for bundle default #85: Commit 05e4c0c pushed by CohenCyril
January 5, 2024 09:21 4m 0s master
master
January 5, 2024 09:21 4m 0s
Text from the paper Nix CI for bundle default #84: Commit 63fcf4d pushed by CohenCyril
January 5, 2024 09:09 3m 55s master
master
January 5, 2024 09:09 3m 55s
Update GETTING_STARTED.md Nix CI for bundle default #83: Commit 645c753 pushed by CohenCyril
January 5, 2024 09:09 3m 56s master
master
January 5, 2024 09:09 3m 56s
Update GETTING_STARTED.md Nix CI for bundle default #82: Commit 68da7ce pushed by CohenCyril
January 5, 2024 09:03 4m 5s master
master
January 5, 2024 09:03 4m 5s
installing HoTT as well Nix CI for bundle default #81: Commit e817f49 pushed by CohenCyril
January 5, 2024 08:53 4m 2s master
master
January 5, 2024 08:53 4m 2s
Update GETTING_STARTED.md Nix CI for bundle default #80: Commit b72780a pushed by CohenCyril
January 5, 2024 08:22 4m 2s master
master
January 5, 2024 08:22 4m 2s
Update GETTING_STARTED.md Nix CI for bundle default #79: Commit 15b476a pushed by CohenCyril
January 5, 2024 08:16 4m 2s master
master
January 5, 2024 08:16 4m 2s
devcontainer config Nix CI for bundle default #78: Commit 49eb9ce pushed by CohenCyril
January 5, 2024 08:10 4m 8s master
master
January 5, 2024 08:10 4m 8s
Update GETTING_STARTED.md Nix CI for bundle default #77: Commit 31c5a7b pushed by CohenCyril
January 4, 2024 22:13 3m 52s master
master
January 4, 2024 22:13 3m 52s
Update GETTING_STARTED.md Nix CI for bundle default #76: Commit 1f483e8 pushed by CohenCyril
January 4, 2024 22:07 4m 5s master
master
January 4, 2024 22:07 4m 5s
Update GETTING_STARTED.md Nix CI for bundle default #75: Commit a6198b6 pushed by CohenCyril
January 4, 2024 21:53 3m 57s master
master
January 4, 2024 21:53 3m 57s
📝 Getting started guide Nix CI for bundle default #74: Commit 5d3f75f pushed by ecranceMERCE
January 4, 2024 21:30 4m 2s master
master
January 4, 2024 21:30 4m 2s
Merge pull request #12 from coq-community/cleanup Nix CI for bundle default #73: Commit 0eb9364 pushed by CohenCyril
January 4, 2024 16:04 4m 6s master
master
January 4, 2024 16:04 4m 6s
Replacing almost all locate in Hierarchy.v + refactoring Nix CI for bundle default #72: Pull request #12 opened by CohenCyril
January 4, 2024 14:49 4m 26s
January 4, 2024 14:49 4m 26s
👷 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