Skip to content

Actions: rocq-community/trocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
241 workflow runs
241 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update home.md Nix CI for bundle coq-8.20 #45: Commit 95317bf pushed by CohenCyril
4m 33s master
master
4m 33s
pages build and deployment pages-build-deployment #22: by CohenCyril
20s master
master
20s
no mathcomp for hott Nix CI for bundle coq-8.20 #44: Pull request #54 synchronize by CohenCyril
4m 5s CohenCyril:hottnomc
CohenCyril:hottnomc
4m 5s
no mathcomp for hott Nix CI for bundle coq-9.0 #44: Pull request #54 synchronize by CohenCyril
4m 11s CohenCyril:hottnomc
CohenCyril:hottnomc
4m 11s
no mathcomp for hott Nix CI for bundle coq-9.0 #43: Pull request #54 synchronize by CohenCyril
4m 24s
4m 24s
no mathcomp for hott Nix CI for bundle coq-8.20 #43: Pull request #54 synchronize by CohenCyril
4m 47s
4m 47s
Merge pull request #55 from MysaaJava/master Nix CI for bundle coq-8.20 #42: Commit a0edc3f pushed by CohenCyril
3m 59s master
master
3m 59s
Merge pull request #55 from MysaaJava/master Nix CI for bundle coq-9.0 #42: Commit a0edc3f pushed by CohenCyril
3m 47s master
master
3m 47s
pages build and deployment pages-build-deployment #21: by CohenCyril
21s master
master
21s
Makefile rearrangment, Coq -> Rocq Nix CI for bundle coq-9.0 #41: Pull request #55 synchronize by MysaaJava
4m 58s
4m 58s
Makefile rearrangment, Coq -> Rocq Nix CI for bundle coq-8.20 #41: Pull request #55 synchronize by MysaaJava
5m 54s
5m 54s
Makefile rearrangment, Coq -> Rocq Nix CI for bundle coq-8.20 #40: Pull request #55 opened by MysaaJava
4m 53s
4m 53s
Makefile rearrangment, Coq -> Rocq Nix CI for bundle coq-9.0 #40: Pull request #55 opened by MysaaJava
4m 25s
4m 25s
no mathcomp for hott Nix CI for bundle coq-9.0 #39: Pull request #54 synchronize by CohenCyril
3m 46s CohenCyril:hottnomc
CohenCyril:hottnomc
3m 46s
no mathcomp for hott Nix CI for bundle coq-8.20 #39: Pull request #54 synchronize by CohenCyril
4m 33s CohenCyril:hottnomc
CohenCyril:hottnomc
4m 33s
no mathcomp for hott Nix CI for bundle coq-8.20 #38: Pull request #54 synchronize by CohenCyril
5m 3s
5m 3s
no mathcomp for hott Nix CI for bundle coq-9.0 #38: Pull request #54 synchronize by CohenCyril
4m 36s
4m 36s
no mathcomp for hott Nix CI for bundle coq-9.0 #37: Pull request #54 opened by CohenCyril
4m 20s
4m 20s
no mathcomp for hott Nix CI for bundle coq-8.20 #37: Pull request #54 opened by CohenCyril
4m 38s
4m 38s
pages build and deployment pages-build-deployment #20: by CohenCyril
23s master
master
23s
Merge pull request #53 from CohenCyril/opam_docker Nix CI for bundle coq-8.20 #36: Commit 930f924 pushed by CohenCyril
2m 59s master
master
2m 59s
Merge pull request #53 from CohenCyril/opam_docker Nix CI for bundle coq-9.0 #36: Commit 930f924 pushed by CohenCyril
2m 59s master
master
2m 59s
Opam packages + Dockerfile Nix CI for bundle coq-9.0 #35: Pull request #53 opened by CohenCyril
4m 37s
4m 37s
Opam packages + Dockerfile Nix CI for bundle coq-8.20 #35: Pull request #53 opened by CohenCyril
4m 53s
4m 53s
Unify code generation about sorts Nix CI for bundle coq-8.20 #34: Pull request #52 synchronize by lweqx
4m 47s
4m 47s