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

Unit Tests Nix CI for bundle rocq-9.0 #20: Pull request #60 synchronize by MysaaJava
2m 5s
2m 5s
Unit Tests Nix CI for bundle rocq-9.0 #19: Pull request #60 synchronize by MysaaJava
3m 22s MysaaJava:unit-tests
MysaaJava:unit-tests
3m 22s
Unit Tests Nix CI for bundle rocq-9.1 #19: Pull request #60 synchronize by MysaaJava
3m 23s MysaaJava:unit-tests
MysaaJava:unit-tests
3m 23s
Unit Tests Nix CI for bundle coq-8.20 #70: Pull request #60 synchronize by MysaaJava
3m 17s MysaaJava:unit-tests
MysaaJava:unit-tests
3m 17s
Unit Tests Nix CI for bundle rocq-9.0 #18: Pull request #60 synchronize by MysaaJava
3m 31s
3m 31s
Unit Tests Nix CI for bundle coq-8.20 #69: Pull request #60 synchronize by MysaaJava
3m 27s
3m 27s
Unit Tests Nix CI for bundle rocq-9.1 #18: Pull request #60 synchronize by MysaaJava
3m 33s
3m 33s
Unit Tests Nix CI for bundle coq-8.20 #68: Pull request #60 synchronize by MysaaJava
3m 22s MysaaJava:unit-tests
MysaaJava:unit-tests
3m 22s
Unit Tests Nix CI for bundle rocq-9.1 #17: Pull request #60 synchronize by MysaaJava
3m 29s MysaaJava:unit-tests
MysaaJava:unit-tests
3m 29s
Unit Tests Nix CI for bundle rocq-9.0 #17: Pull request #60 synchronize by MysaaJava
3m 26s MysaaJava:unit-tests
MysaaJava:unit-tests
3m 26s
Unit Tests Nix CI for bundle coq-8.20 #67: Pull request #60 synchronize by MysaaJava
3m 32s
3m 32s
Unit Tests Nix CI for bundle rocq-9.1 #16: Pull request #60 synchronize by MysaaJava
3m 35s
3m 35s
Unit Tests Nix CI for bundle rocq-9.0 #16: Pull request #60 synchronize by MysaaJava
3m 34s
3m 34s
Unit Tests Nix CI for bundle coq-8.20 #66: Pull request #60 synchronize by MysaaJava
2m 5s
2m 5s
Unit Tests Nix CI for bundle rocq-9.0 #15: Pull request #60 synchronize by MysaaJava
1m 53s
1m 53s
Unit Tests Nix CI for bundle rocq-9.1 #15: Pull request #60 synchronize by MysaaJava
10m 27s
10m 27s
Upgrade nix toolbox to elpi 3.4.1 (#61) Nix CI for bundle coq-8.20 #65: Commit 863de07 pushed by CohenCyril
1m 59s master
master
1m 59s
Upgrade nix toolbox to elpi 3.4.1 (#61) Nix CI for bundle rocq-9.0 #14: Commit 863de07 pushed by CohenCyril
1m 57s master
master
1m 57s
Upgrade nix toolbox to elpi 3.4.1 (#61) Nix CI for bundle rocq-9.1 #14: Commit 863de07 pushed by CohenCyril
1m 58s master
master
1m 58s
pages build and deployment pages-build-deployment #26: by CohenCyril
25s master
master
25s
Unit Tests Nix CI for bundle coq-8.20 #64: Pull request #60 synchronize by MysaaJava
4m 26s
4m 26s
Unit Tests Nix CI for bundle rocq-9.0 #13: Pull request #60 synchronize by MysaaJava
18m 1s
18m 1s
Unit Tests Nix CI for bundle rocq-9.1 #13: Pull request #60 synchronize by MysaaJava
4m 31s
4m 31s
Upgrade nix toolbox to elpi 3.4.1 Nix CI for bundle coq-8.20 #63: Pull request #61 opened by MysaaJava
5m 22s
5m 22s
Upgrade nix toolbox to elpi 3.4.1 Nix CI for bundle rocq-9.1 #12: Pull request #61 opened by MysaaJava
5m 52s
5m 52s