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

Merge pull request #58 from rocq-community/minor-tutorial-updates Nix CI for bundle coq-8.20 #78: Commit 879f430 pushed by CohenCyril
3m 58s master
master
3m 58s
Merge pull request #58 from rocq-community/minor-tutorial-updates Nix CI for bundle rocq-9.1 #27: Commit 879f430 pushed by CohenCyril
3m 58s master
master
3m 58s
Merge pull request #58 from rocq-community/minor-tutorial-updates Nix CI for bundle rocq-9.0 #27: Commit 879f430 pushed by CohenCyril
3m 57s master
master
3m 57s
pages build and deployment pages-build-deployment #28: by CohenCyril
35s master
master
35s
Unit Tests (#60) Nix CI for bundle rocq-9.0 #26: Commit 756f0bf pushed by CohenCyril
2m 19s master
master
2m 19s
Unit Tests (#60) Nix CI for bundle rocq-9.1 #26: Commit 756f0bf pushed by CohenCyril
2m 52s master
master
2m 52s
Unit Tests (#60) Nix CI for bundle coq-8.20 #77: Commit 756f0bf pushed by CohenCyril
2m 32s master
master
2m 32s
pages build and deployment pages-build-deployment #27: by CohenCyril
43s master
master
43s
Unit Tests Nix CI for bundle rocq-9.0 #25: Pull request #60 synchronize by MysaaJava
3m 50s MysaaJava:unit-tests
MysaaJava:unit-tests
3m 50s
Unit Tests Nix CI for bundle coq-8.20 #76: Pull request #60 synchronize by MysaaJava
4m 6s MysaaJava:unit-tests
MysaaJava:unit-tests
4m 6s
Unit Tests Nix CI for bundle rocq-9.1 #25: Pull request #60 synchronize by MysaaJava
3m 50s MysaaJava:unit-tests
MysaaJava:unit-tests
3m 50s
Unit Tests Nix CI for bundle rocq-9.1 #24: Pull request #60 synchronize by MysaaJava
4m 9s
4m 9s
Unit Tests Nix CI for bundle rocq-9.0 #24: Pull request #60 synchronize by MysaaJava
3m 50s
3m 50s
Unit Tests Nix CI for bundle coq-8.20 #75: Pull request #60 synchronize by MysaaJava
4m 8s
4m 8s
Unit Tests Nix CI for bundle coq-8.20 #74: Pull request #60 synchronize by MysaaJava
2m 6s MysaaJava:unit-tests
MysaaJava:unit-tests
2m 6s
Unit Tests Nix CI for bundle rocq-9.0 #23: Pull request #60 synchronize by MysaaJava
2m 1s MysaaJava:unit-tests
MysaaJava:unit-tests
2m 1s
Unit Tests Nix CI for bundle rocq-9.1 #23: Pull request #60 synchronize by MysaaJava
2m 14s MysaaJava:unit-tests
MysaaJava:unit-tests
2m 14s
Unit Tests Nix CI for bundle rocq-9.1 #22: Pull request #60 synchronize by MysaaJava
2m 5s
2m 5s
Unit Tests Nix CI for bundle coq-8.20 #73: Pull request #60 synchronize by MysaaJava
2m 11s
2m 11s
Unit Tests Nix CI for bundle rocq-9.0 #22: Pull request #60 synchronize by MysaaJava
2m 5s
2m 5s
Unit Tests Nix CI for bundle coq-8.20 #72: Pull request #60 synchronize by MysaaJava
1m 53s MysaaJava:unit-tests
MysaaJava:unit-tests
1m 53s
Unit Tests Nix CI for bundle rocq-9.0 #21: Pull request #60 synchronize by MysaaJava
2m 4s MysaaJava:unit-tests
MysaaJava:unit-tests
2m 4s
Unit Tests Nix CI for bundle rocq-9.1 #21: Pull request #60 synchronize by MysaaJava
1m 58s MysaaJava:unit-tests
MysaaJava:unit-tests
1m 58s
Unit Tests Nix CI for bundle rocq-9.1 #20: Pull request #60 synchronize by MysaaJava
1m 53s
1m 53s
Unit Tests Nix CI for bundle coq-8.20 #71: Pull request #60 synchronize by MysaaJava
2m 4s
2m 4s