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

Merge pull request #556 from FissoreD/warnings+get-inst-prio-api Nix CI for bundle coq-8.18 #42: Commit b92e2c8 pushed by gares
November 30, 2023 09:36 6m 57s master
master
November 30, 2023 09:36 6m 57s
TC : API coq.TC.get-inst-prio, warnings on hints Nix CI for bundle coq-8.18 #41: Pull request #556 synchronize by FissoreD
November 29, 2023 15:24 34m 36s
November 29, 2023 15:24 34m 36s
TC : API coq.TC.get-inst-prio, warnings on hints Nix CI for bundle coq-8.18 #40: Pull request #556 synchronize by FissoreD
November 29, 2023 15:22 36m 53s
November 29, 2023 15:22 36m 53s
Merge pull request #555 from LPCIC/namegen Nix CI for bundle coq-8.18 #39: Commit 0369d06 pushed by gares
November 29, 2023 12:24 6m 52s master
master
November 29, 2023 12:24 6m 52s
namegen API Nix CI for bundle coq-8.18 #38: Pull request #555 synchronize by gares
November 29, 2023 09:37 37m 21s
November 29, 2023 09:37 37m 21s
namegen API Nix CI for bundle coq-8.18 #37: Pull request #555 synchronize by gares
November 29, 2023 09:37 37m 36s
November 29, 2023 09:37 37m 36s
TC : API coq.TC.get-inst-prio, warnings on hints Nix CI for bundle coq-8.18 #36: Pull request #556 opened by FissoreD
November 28, 2023 17:27 37m 32s
November 28, 2023 17:27 37m 32s
namegen API Nix CI for bundle coq-8.18 #35: Pull request #555 opened by gares
November 28, 2023 14:30 36m 53s
November 28, 2023 14:30 36m 53s
Merge pull request #553 from LPCIC/no-tc Nix CI for bundle coq-8.18 #34: Commit 7a5e4bc pushed by gares
November 27, 2023 14:39 10m 30s master
master
November 27, 2023 14:39 10m 30s
more API support @no-tc! Nix CI for bundle coq-8.18 #33: Pull request #553 synchronize by gares
November 27, 2023 13:28 35m 45s
November 27, 2023 13:28 35m 45s
more API support @no-tc! Nix CI for bundle coq-8.18 #32: Pull request #553 opened by gares
November 27, 2023 13:25 37m 54s
November 27, 2023 13:25 37m 54s
Merge pull request #552 from LPCIC/fix-win Nix CI for bundle coq-8.18 #31: Commit 8f75bcb pushed by gares
November 25, 2023 16:16 36m 36s master
master
November 25, 2023 16:16 36m 36s
blind fix for windows path Nix CI for bundle coq-8.18 #30: Pull request #552 synchronize by gares
November 25, 2023 16:16 36m 38s
November 25, 2023 16:16 36m 38s
blind fix for windows path Nix CI for bundle coq-8.18 #29: Pull request #552 synchronize by gares
November 25, 2023 15:16 36m 8s
November 25, 2023 15:16 36m 8s
blind fix for windows path Nix CI for bundle coq-8.18 #28: Pull request #552 synchronize by gares
November 25, 2023 14:34 2m 41s
November 25, 2023 14:34 2m 41s
blind fix for windows path Nix CI for bundle coq-8.18 #27: Pull request #552 synchronize by gares
November 25, 2023 14:32 2m 44s
November 25, 2023 14:32 2m 44s
blind fix for windows path Nix CI for bundle coq-8.18 #26: Pull request #552 opened by gares
November 25, 2023 14:31 3m 9s
November 25, 2023 14:31 3m 9s
Coercion hook Nix CI for bundle coq-8.18 #25: Pull request #545 synchronize by Tragicus
November 13, 2023 14:42 3m 53s
November 13, 2023 14:42 3m 53s
Coercion hook Nix CI for bundle coq-8.18 #24: Pull request #545 opened by Tragicus
November 13, 2023 13:50 55s
November 13, 2023 13:50 55s
Missing API on universes Nix CI for bundle coq-8.18 #23: Pull request #544 opened by CohenCyril
November 11, 2023 12:26 58s
November 11, 2023 12:26 58s
Merge pull request #537 from LPCIC/fix-renaming Nix CI for bundle coq-8.18 #22: Commit e1ee443 pushed by gares
November 10, 2023 15:22 51m 25s master
master
November 10, 2023 15:22 51m 25s
when renaming, give precedence to recent context entries over old ones Nix CI for bundle coq-8.18 #21: Pull request #537 synchronize by gares
November 10, 2023 14:04 40m 52s
November 10, 2023 14:04 40m 52s
when renaming, give precedence to recent context entries over old ones Nix CI for bundle coq-8.18 #20: Pull request #537 synchronize by gares
November 10, 2023 13:20 2m 24s
November 10, 2023 13:20 2m 24s
Merge pull request #540 from FissoreD/class-declare-TC-command Nix CI for bundle coq-8.18 #19: Commit 2f7f589 pushed by gares
November 9, 2023 15:18 7m 15s master
master
November 9, 2023 15:18 7m 15s
Locality can be charged to coq.elpi.add-predicate Nix CI for bundle coq-8.18 #18: Pull request #540 synchronize by FissoreD
November 9, 2023 14:46 41m 46s
November 9, 2023 14:46 41m 46s