Skip to content

Actions: LPCIC/coq-elpi

Actions

Nix CI for bundle coq-8.18

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
117 workflow runs
117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coq 8.18+fixes Nix CI for bundle coq-8.18 #117: Pull request #584 synchronize by gares
January 31, 2024 20:17 4m 35s
January 31, 2024 20:17 4m 35s
Coq 8.18+fixes Nix CI for bundle coq-8.18 #116: Pull request #584 opened by gares
January 31, 2024 20:16 3m 30s
January 31, 2024 20:16 3m 30s
Next master Nix CI for bundle coq-8.18 #115: Pull request #565 synchronize by gares
December 24, 2023 13:10 53s
December 24, 2023 13:10 53s
Next master Nix CI for bundle coq-8.18 #114: Pull request #565 synchronize by CohenCyril
December 23, 2023 21:11 48s
December 23, 2023 21:11 48s
Next master Nix CI for bundle coq-8.18 #113: Pull request #565 synchronize by gares
December 23, 2023 17:33 48s
December 23, 2023 17:33 48s
Next master Nix CI for bundle coq-8.18 #112: Pull request #565 opened by gares
December 23, 2023 17:01 48s
December 23, 2023 17:01 48s
update coq-master Nix CI for bundle coq-8.18 #111: Pull request #564 synchronize by gares
December 23, 2023 15:12 1m 6s
December 23, 2023 15:12 1m 6s
update coq-master Nix CI for bundle coq-8.18 #110: Pull request #564 opened by gares
December 23, 2023 13:22 39m 36s
December 23, 2023 13:22 39m 36s
close changelog Nix CI for bundle coq-8.18 #109: Commit 87bcdc7 pushed by gares
December 23, 2023 12:59 1m 44s master
master
December 23, 2023 12:59 1m 44s
fix nix Nix CI for bundle coq-8.18 #108: Commit e66f2d6 pushed by gares
December 8, 2023 11:26 39m 9s master
master
December 8, 2023 11:26 39m 9s
Merge pull request #560 from LPCIC/fix-doc Nix CI for bundle coq-8.18 #107: Commit 4a852c0 pushed by gares
December 8, 2023 11:23 1m 33s master
master
December 8, 2023 11:23 1m 33s
Update tutorial_coq_elpi_command.v Nix CI for bundle coq-8.18 #106: Pull request #560 synchronize by gares
December 8, 2023 11:11 1m 26s
December 8, 2023 11:11 1m 26s
Update tutorial_coq_elpi_command.v Nix CI for bundle coq-8.18 #105: Pull request #560 synchronize by gares
December 8, 2023 11:11 1m 36s
December 8, 2023 11:11 1m 36s
Update tutorial_coq_elpi_command.v Nix CI for bundle coq-8.18 #104: Pull request #560 opened by gares
December 8, 2023 10:29 1m 40s
December 8, 2023 10:29 1m 40s
Merge pull request #557 from LPCIC/fix-synterp Nix CI for bundle coq-8.18 #103: Commit eed07eb pushed by gares
December 8, 2023 10:14 1m 18s master
master
December 8, 2023 10:14 1m 18s
Support for synterp (Coq 8.18) Nix CI for bundle coq-8.18 #102: Pull request #557 synchronize by gares
December 8, 2023 09:51 31m 51s fix-synterp
fix-synterp
December 8, 2023 09:51 31m 51s
Support for synterp (Coq 8.18) Nix CI for bundle coq-8.18 #101: Pull request #557 synchronize by gares
December 8, 2023 09:51 31m 49s
December 8, 2023 09:51 31m 49s
Support for synterp (Coq 8.18) Nix CI for bundle coq-8.18 #100: Pull request #557 synchronize by gares
December 8, 2023 09:21 31m 32s fix-synterp
fix-synterp
December 8, 2023 09:21 31m 32s
Support for synterp (Coq 8.18) Nix CI for bundle coq-8.18 #99: Pull request #557 synchronize by gares
December 8, 2023 09:21 31m 57s
December 8, 2023 09:21 31m 57s
Support for synterp (Coq 8.18) Nix CI for bundle coq-8.18 #98: Pull request #557 synchronize by gares
December 8, 2023 09:04 48m 7s fix-synterp
fix-synterp
December 8, 2023 09:04 48m 7s
Support for synterp (Coq 8.18) Nix CI for bundle coq-8.18 #97: Pull request #557 synchronize by gares
December 8, 2023 09:04 48m 9s
December 8, 2023 09:04 48m 9s
Support for synterp (Coq 8.18) Nix CI for bundle coq-8.18 #96: Pull request #557 synchronize by gares
December 8, 2023 07:53 33m 54s fix-synterp
fix-synterp
December 8, 2023 07:53 33m 54s
Support for synterp (Coq 8.18) Nix CI for bundle coq-8.18 #95: Pull request #557 synchronize by gares
December 8, 2023 07:53 33m 51s
December 8, 2023 07:53 33m 51s
Support for synterp (Coq 8.18) Nix CI for bundle coq-8.18 #94: Pull request #557 synchronize by gares
December 8, 2023 07:43 43m 42s fix-synterp
fix-synterp
December 8, 2023 07:43 43m 42s
Support for synterp (Coq 8.18) Nix CI for bundle coq-8.18 #93: Pull request #557 synchronize by gares
December 8, 2023 07:43 44m 8s
December 8, 2023 07:43 44m 8s