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

Minor tutorial updates Nix CI for bundle rocq-9.1 #4: Pull request #58 synchronize by proux01
4m 27s
4m 27s
Merge pull request #57 from rocq-community/elpi3 Nix CI for bundle rocq-9.0 #3: Commit c68ca1d pushed by proux01
3m 48s master
master
3m 48s
Merge pull request #57 from rocq-community/elpi3 Nix CI for bundle rocq-9.1 #3: Commit c68ca1d pushed by proux01
2m 57s master
master
2m 57s
Merge pull request #57 from rocq-community/elpi3 Nix CI for bundle coq-8.20 #54: Commit c68ca1d pushed by proux01
3m 0s master
master
3m 0s
pages build and deployment pages-build-deployment #24: by proux01
41s master
master
41s
Minor tutorial updates Nix CI for bundle coq-8.20 #53: Pull request #58 opened by proux01
4m 48s
4m 48s
Minor tutorial updates Nix CI for bundle coq-9.0 #51: Pull request #58 opened by proux01
4m 30s
4m 30s
Port to elpi3 Nix CI for bundle rocq-9.0 #2: Pull request #57 synchronize by proux01
4m 34s elpi3
elpi3
4m 34s
Port to elpi3 Nix CI for bundle coq-8.20 #52: Pull request #57 synchronize by proux01
4m 39s elpi3
elpi3
4m 39s
Port to elpi3 Nix CI for bundle coq-9.0 #50: Pull request #57 synchronize by proux01
47s
47s
Port to elpi3 Nix CI for bundle rocq-9.1 #2: Pull request #57 synchronize by proux01
4m 53s elpi3
elpi3
4m 53s
Port to elpi3 Nix CI for bundle coq-8.20 #51: Pull request #57 synchronize by proux01
4m 46s
4m 46s
Port to elpi3 Nix CI for bundle coq-9.0 #49: Pull request #57 synchronize by proux01
47s
47s
Port to elpi3 Nix CI for bundle rocq-9.0 #1: Pull request #57 synchronize by proux01
4m 43s elpi3
elpi3
4m 43s
Port to elpi3 Nix CI for bundle rocq-9.1 #1: Pull request #57 synchronize by proux01
4m 44s elpi3
elpi3
4m 44s
Port to elpi3 Nix CI for bundle coq-8.20 #50: Pull request #57 synchronize by proux01
5m 0s
5m 0s
Port to elpi3 Nix CI for bundle coq-8.20 #49: Pull request #57 synchronize by proux01
4m 45s elpi3
elpi3
4m 45s
Merge pull request #56 from rocq-community/update-install Nix CI for bundle coq-9.0 #48: Commit 5058ae3 pushed by CohenCyril
3m 10s master
master
3m 10s
Merge pull request #56 from rocq-community/update-install Nix CI for bundle coq-8.20 #48: Commit 5058ae3 pushed by CohenCyril
3m 21s master
master
3m 21s
pages build and deployment pages-build-deployment #23: by CohenCyril
1m 2s master
master
1m 2s
Port to elpi3 Nix CI for bundle coq-9.0 #47: Pull request #57 opened by proux01
4m 42s
4m 42s
Port to elpi3 Nix CI for bundle coq-8.20 #47: Pull request #57 opened by proux01
4m 45s
4m 45s
Update installation instruction Nix CI for bundle coq-8.20 #46: Pull request #56 opened by proux01
4m 49s
4m 49s
Update installation instruction Nix CI for bundle coq-9.0 #46: Pull request #56 opened by proux01
2m 59s
2m 59s
Update home.md Nix CI for bundle coq-9.0 #45: Commit 95317bf pushed by CohenCyril
4m 16s master
master
4m 16s