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

bootstrap software heritage Nix CI for bundle default #96: Commit 1268bcb pushed by CohenCyril
January 5, 2024 16:35 4m 4s master
master
January 5, 2024 16:35 4m 4s
📝 Example bitvector bounded nat Nix CI for bundle default #95: Commit 65cbdab pushed by ecranceMERCE
January 5, 2024 16:22 3m 58s master
master
January 5, 2024 16:22 3m 58s
📝 Example int Zp Nix CI for bundle default #94: Commit 7ede451 pushed by ecranceMERCE
January 5, 2024 15:53 4m 4s master
master
January 5, 2024 15:53 4m 4s
📝 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