Skip to content

Actions: LPCIC/coq-elpi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,019 workflow runs
4,019 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle rocq-9.0 #82: Pull request #771 synchronize by gares
February 11, 2025 15:27 37m 29s proux01:rocq
proux01:rocq
February 11, 2025 15:27 37m 29s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-master #685: Pull request #771 synchronize by gares
February 11, 2025 15:27 54m 14s proux01:rocq
proux01:rocq
February 11, 2025 15:27 54m 14s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-8.20 #431: Pull request #771 synchronize by gares
February 11, 2025 15:27 36m 40s proux01:rocq
proux01:rocq
February 11, 2025 15:27 36m 40s
Enable compilation without the coq shim on Rocq 9.0 CI #113: Pull request #771 synchronize by gares
February 11, 2025 15:27 6m 9s proux01:rocq
proux01:rocq
February 11, 2025 15:27 6m 9s
Enable compilation without the coq shim on Rocq 9.0 DOC #1529: Pull request #771 synchronize by gares
February 11, 2025 15:27 9m 8s proux01:rocq
proux01:rocq
February 11, 2025 15:27 9m 8s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-master #684: Pull request #771 synchronize by gares
February 11, 2025 15:27 56m 17s
February 11, 2025 15:27 56m 17s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle rocq-9.0 #81: Pull request #771 synchronize by gares
February 11, 2025 15:27 38m 27s
February 11, 2025 15:27 38m 27s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-8.20 #430: Pull request #771 synchronize by gares
February 11, 2025 15:27 37m 28s
February 11, 2025 15:27 37m 28s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-8.20 #429: Pull request #771 synchronize by proux01
February 11, 2025 14:55 1h 0m 6s proux01:rocq
proux01:rocq
February 11, 2025 14:55 1h 0m 6s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle rocq-9.0 #80: Pull request #771 synchronize by proux01
February 11, 2025 14:55 56m 55s proux01:rocq
proux01:rocq
February 11, 2025 14:55 56m 55s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-master #683: Pull request #771 synchronize by proux01
February 11, 2025 14:55 41m 33s proux01:rocq
proux01:rocq
February 11, 2025 14:55 41m 33s
Enable compilation without the coq shim on Rocq 9.0 CI #112: Pull request #771 synchronize by proux01
February 11, 2025 14:55 4m 49s proux01:rocq
proux01:rocq
February 11, 2025 14:55 4m 49s
Enable compilation without the coq shim on Rocq 9.0 DOC #1528: Pull request #771 synchronize by proux01
February 11, 2025 14:55 7m 42s proux01:rocq
proux01:rocq
February 11, 2025 14:55 7m 42s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle rocq-9.0 #79: Pull request #771 synchronize by proux01
February 11, 2025 14:55 57m 16s
February 11, 2025 14:55 57m 16s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-8.20 #428: Pull request #771 synchronize by proux01
February 11, 2025 14:55 1h 1m 26s
February 11, 2025 14:55 1h 1m 26s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-master #682: Pull request #771 synchronize by proux01
February 11, 2025 14:55 41m 54s
February 11, 2025 14:55 41m 54s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-8.20 #427: Pull request #771 synchronize by proux01
February 11, 2025 14:05 48m 48s proux01:rocq
proux01:rocq
February 11, 2025 14:05 48m 48s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-master #681: Pull request #771 synchronize by proux01
February 11, 2025 14:05 46m 19s proux01:rocq
proux01:rocq
February 11, 2025 14:05 46m 19s
Enable compilation without the coq shim on Rocq 9.0 CI #111: Pull request #771 synchronize by proux01
February 11, 2025 14:05 11m 26s proux01:rocq
proux01:rocq
February 11, 2025 14:05 11m 26s
Enable compilation without the coq shim on Rocq 9.0 DOC #1527: Pull request #771 synchronize by proux01
February 11, 2025 14:05 15m 7s proux01:rocq
proux01:rocq
February 11, 2025 14:05 15m 7s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle rocq-9.0 #78: Pull request #771 synchronize by proux01
February 11, 2025 14:05 45m 17s proux01:rocq
proux01:rocq
February 11, 2025 14:05 45m 17s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle rocq-9.0 #77: Pull request #771 synchronize by proux01
February 11, 2025 14:05 46m 32s
February 11, 2025 14:05 46m 32s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-master #680: Pull request #771 synchronize by proux01
February 11, 2025 14:05 46m 55s
February 11, 2025 14:05 46m 55s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-8.20 #426: Pull request #771 synchronize by proux01
February 11, 2025 14:05 49m 48s
February 11, 2025 14:05 49m 48s
Enable compilation without the coq shim on Rocq 9.0 Nix CI for bundle coq-master #679: Pull request #771 synchronize by proux01
February 11, 2025 13:30 56m 2s proux01:rocq
proux01:rocq
February 11, 2025 13:30 56m 2s