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 prop, #18, #19 & add support for Rocq 9.0 Nix CI for bundle default #205: Pull request #46 synchronize by lweqx
48s
48s
Merge prop, #18, #19 & add support for Rocq 9.0 Nix CI for bundle coq-8.20 #2: Pull request #46 synchronize by lweqx
3m 55s lweqx:readying-for-release
lweqx:readying-for-release
3m 55s
Merge prop, #18, #19 & add support for Rocq 9.0 Nix CI for bundle coq-9.0 #2: Pull request #46 synchronize by lweqx
3m 49s lweqx:readying-for-release
lweqx:readying-for-release
3m 49s
Merge prop, #18, #19 & add support for Rocq 9.0 Nix CI for bundle default #204: Pull request #46 synchronize by lweqx
43s
43s
Merge prop, #18, #19 & add support for Rocq 9.0 Nix CI for bundle coq-9.0 #1: Pull request #46 opened by lweqx
3m 38s lweqx:readying-for-release
lweqx:readying-for-release
3m 38s
Merge prop, #18, #19 & add support for Rocq 9.0 Nix CI for bundle coq-8.20 #1: Pull request #46 opened by lweqx
4m 27s lweqx:readying-for-release
lweqx:readying-for-release
4m 27s
Merge prop, #18, #19 & add support for Rocq 9.0 Nix CI for bundle 8.20 #10: Pull request #46 opened by lweqx
48s lweqx:readying-for-release
lweqx:readying-for-release
48s
Merge prop, #18, #19 & add support for Rocq 9.0 Nix CI for bundle default #203: Pull request #46 opened by lweqx
1m 20s
1m 20s
preparing Trocq to add prop Nix CI for bundle default #202: Pull request #9 synchronize by CohenCyril
5m 33s
5m 33s
fix ci Nix CI for bundle 8.20 #9: Pull request #45 opened by CohenCyril
29m 51s
29m 51s
preparing Trocq to add prop Nix CI for bundle default #201: Pull request #9 synchronize by CohenCyril
5m 57s
5m 57s
update metadata Nix CI for bundle 8.20 #8: Pull request #44 synchronize by CohenCyril
3m 54s
3m 54s
update metadata Nix CI for bundle 8.20 #7: Pull request #44 opened by CohenCyril
3m 49s
3m 49s
update dependencies in .opam Nix CI for bundle 8.20 #6: Pull request #43 opened by MathisBD
5m 41s
5m 41s
preparing Trocq to add prop Nix CI for bundle default #200: Pull request #9 synchronize by CohenCyril
6m 16s
6m 16s
Upgrade the prop branch to Coq 8.20 Nix CI for bundle 8.20 #5: Pull request #42 synchronize by lweqx
30m 53s lweqx:prop-8.20
lweqx:prop-8.20
30m 53s
Upgrade the prop branch to Coq 8.20 Nix CI for bundle default #199: Pull request #42 synchronize by lweqx
48s
48s
Upgrade the prop branch to Coq 8.20 Nix CI for bundle 8.20 #4: Pull request #42 synchronize by lweqx
30m 55s lweqx:prop-8.20
lweqx:prop-8.20
30m 55s
Upgrade the prop branch to Coq 8.20 Nix CI for bundle default #198: Pull request #42 synchronize by lweqx
44s
44s
Upgrade the prop branch to Coq 8.20 Nix CI for bundle 8.20 #3: Pull request #42 synchronize by lweqx
30m 55s lweqx:prop-8.20
lweqx:prop-8.20
30m 55s
Upgrade the prop branch to Coq 8.20 Nix CI for bundle default #197: Pull request #42 synchronize by lweqx
42s
42s
Upgrade the prop branch to Coq 8.20 Nix CI for bundle 8.20 #2: Pull request #42 synchronize by lweqx
5m 38s lweqx:prop-8.20
lweqx:prop-8.20
5m 38s
Upgrade the prop branch to Coq 8.20 Nix CI for bundle 8.20-examples #1: Pull request #42 synchronize by lweqx
19m 59s lweqx:prop-8.20
lweqx:prop-8.20
19m 59s
Upgrade the prop branch to Coq 8.20 Nix CI for bundle default #196: Pull request #42 synchronize by lweqx
45s
45s
Upgrade the prop branch to Coq 8.20 Nix CI for bundle 8.20 #1: Pull request #42 synchronize by lweqx
31m 23s lweqx:prop-8.20
lweqx:prop-8.20
31m 23s