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

Locality can be charged to coq.elpi.add-predicate Nix CI for bundle coq-8.18 #17: Pull request #540 synchronize by FissoreD
November 9, 2023 14:40 43m 21s
November 9, 2023 14:40 43m 21s
Locality can be charged to coq.elpi.add-predicate Nix CI for bundle coq-8.18 #16: Pull request #540 synchronize by gares
November 9, 2023 10:48 47s
November 9, 2023 10:48 47s
when renaming, give precedence to recent context entries over old ones Nix CI for bundle coq-8.18 #15: Pull request #537 synchronize by gares
November 9, 2023 10:45 42m 23s
November 9, 2023 10:45 42m 23s
Merge pull request #539 from LPCIC/fix-nix2 Nix CI for bundle coq-8.18 #14: Commit 35b0393 pushed by gares
November 9, 2023 10:44 42m 29s master
master
November 9, 2023 10:44 42m 29s
Fix nix2 Nix CI for bundle coq-8.18 #13: Pull request #539 synchronize by gares
November 9, 2023 10:00 39m 7s fix-nix2
fix-nix2
November 9, 2023 10:00 39m 7s
Fix nix2 Nix CI for bundle coq-8.18 #12: Pull request #539 opened by gares
November 8, 2023 20:17 40m 43s fix-nix2
fix-nix2
November 8, 2023 20:17 40m 43s
ci: re-enable nix Nix CI for bundle coq-8.18 #11: Pull request #520 synchronize by gares
November 2, 2023 12:00 4m 21s fix-synterp
fix-synterp
November 2, 2023 12:00 4m 21s
ci: re-enable nix Nix CI for bundle coq-8.18 #10: Pull request #520 synchronize by gares
November 2, 2023 11:59 2m 20s fix-synterp
fix-synterp
November 2, 2023 11:59 2m 20s
ci: re-enable nix Nix CI for bundle coq-8.18 #9: Pull request #520 synchronize by gares
October 31, 2023 15:34 1m 45s fix-synterp
fix-synterp
October 31, 2023 15:34 1m 45s
ci: re-enable nix Nix CI for bundle coq-8.18 #8: Pull request #520 synchronize by gares
October 27, 2023 13:01 1m 42s fix-synterp
fix-synterp
October 27, 2023 13:01 1m 42s
ci: re-enable nix Nix CI for bundle coq-8.18 #7: Pull request #520 synchronize by gares
October 27, 2023 12:34 1m 54s fix-synterp
fix-synterp
October 27, 2023 12:34 1m 54s
ci: re-enable nix Nix CI for bundle coq-8.18 #6: Pull request #520 synchronize by gares
October 16, 2023 11:42 54m 24s fix-synterp
fix-synterp
October 16, 2023 11:42 54m 24s
ci: re-enable nix Nix CI for bundle coq-8.18 #5: Pull request #520 synchronize by gares
October 16, 2023 09:03 53m 55s fix-synterp
fix-synterp
October 16, 2023 09:03 53m 55s
ci: re-enable nix Nix CI for bundle coq-8.18 #4: Pull request #520 synchronize by gares
October 16, 2023 09:02 2m 32s fix-synterp
fix-synterp
October 16, 2023 09:02 2m 32s
ci: re-enable nix Nix CI for bundle coq-8.18 #3: Pull request #520 synchronize by CohenCyril
October 13, 2023 12:59 56s fix-synterp
fix-synterp
October 13, 2023 12:59 56s
ci: re-enable nix Nix CI for bundle coq-8.18 #2: Pull request #520 synchronize by CohenCyril
October 13, 2023 12:57 53m 27s fix-synterp
fix-synterp
October 13, 2023 12:57 53m 27s
ci: re-enable nix Nix CI for bundle coq-8.18 #1: Pull request #520 opened by gares
October 13, 2023 12:48 2m 0s fix-synterp
fix-synterp
October 13, 2023 12:48 2m 0s