Skip to content

Actions: coq-community/trocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
193 workflow runs
193 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

📝 Doc example bin nat Nix CI for bundle default #93: Commit 80cbbeb pushed by ecranceMERCE
January 5, 2024 15:15 4m 2s master
master
January 5, 2024 15:15 4m 2s
Update GETTING_STARTED.md Nix CI for bundle default #92: Commit f06b52b pushed by CohenCyril
January 5, 2024 15:08 4m 5s master
master
January 5, 2024 15:08 4m 5s
🚧 Tutorial wip Nix CI for bundle default #91: Commit 0ce1cb5 pushed by ecranceMERCE
January 5, 2024 14:39 3m 59s master
master
January 5, 2024 14:39 3m 59s
update claims Nix CI for bundle default #90: Commit bba45bc pushed by ecranceMERCE
January 5, 2024 13:11 4m 2s master
master
January 5, 2024 13:11 4m 2s
📝 Paper claims justification Nix CI for bundle default #89: Commit b206d88 pushed by ecranceMERCE
January 5, 2024 13:10 4m 4s master
master
January 5, 2024 13:10 4m 4s
Update GETTING_STARTED.md Nix CI for bundle default #88: Commit 008845a pushed by CohenCyril
January 5, 2024 10:00 3m 46s master
master
January 5, 2024 10:00 3m 46s
Update GETTING_STARTED.md Nix CI for bundle default #87: Commit ee5cb24 pushed by CohenCyril
January 5, 2024 09:56 3m 52s master
master
January 5, 2024 09:56 3m 52s
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