Skip to content

Actions: coq-community/reglang

Actions

Nix CI for bundle 8.17

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.17.yml
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

generalize derE to eqType, add mem_der language inclusion check (#74) Nix CI for bundle 8.17 #45: Commit 5c83ad4 pushed by palmskog
July 22, 2024 14:19 1m 27s master
master
July 22, 2024 14:19 1m 27s
generalize derE to eqType, add mem_der language inclusion check Nix CI for bundle 8.17 #44: Pull request #74 opened by palmskog
July 22, 2024 14:08 2m 38s
July 22, 2024 14:08 2m 38s
add definition and result about regexp derivatives (#73) Nix CI for bundle 8.17 #43: Commit 8b6b8a3 pushed by palmskog
July 22, 2024 13:29 9m 38s master
master
July 22, 2024 13:29 9m 38s
add definition and result about regexp derivatives Nix CI for bundle 8.17 #42: Pull request #73 synchronize by palmskog
July 22, 2024 11:14 2m 22s
July 22, 2024 11:14 2m 22s
add definition and result about regexp derivatives Nix CI for bundle 8.17 #41: Pull request #73 synchronize by palmskog
July 22, 2024 11:00 2m 21s
July 22, 2024 11:00 2m 21s
add definition and result about regexp derivatives Nix CI for bundle 8.17 #40: Pull request #73 opened by palmskog
July 22, 2024 10:48 2m 26s
July 22, 2024 10:48 2m 26s
add CI for MathComp 2.2.0 (#70) Nix CI for bundle 8.17 #39: Commit db8be63 pushed by palmskog
January 19, 2024 08:06 2m 20s master
master
January 19, 2024 08:06 2m 20s
add CI for MathComp 2.2.0 Nix CI for bundle 8.17 #38: Pull request #70 opened by palmskog
January 18, 2024 22:49 3m 14s
January 18, 2024 22:49 3m 14s
use elpi version 1.18.1 (#69) Nix CI for bundle 8.17 #37: Commit 126f815 pushed by palmskog
January 2, 2024 13:22 1m 15s master
master
January 2, 2024 13:22 1m 15s
use elpi version 1.18.1 Nix CI for bundle 8.17 #36: Pull request #69 opened by CohenCyril
January 2, 2024 11:16 2m 22s
January 2, 2024 11:16 2m 22s
refresh boilerplate and ci (#68) Nix CI for bundle 8.17 #35: Commit db2d8bb pushed by palmskog
January 1, 2024 14:09 1m 20s master
master
January 1, 2024 14:09 1m 20s
refresh boilerplate and ci Nix CI for bundle 8.17 #34: Pull request #68 synchronize by palmskog
January 1, 2024 13:43 19m 21s refresh-boilerplate
refresh-boilerplate
January 1, 2024 13:43 19m 21s
refresh boilerplate and ci Nix CI for bundle 8.17 #33: Pull request #68 synchronize by palmskog
January 1, 2024 13:43 19m 20s
January 1, 2024 13:43 19m 20s
refresh boilerplate and ci Nix CI for bundle 8.17 #32: Pull request #68 synchronize by palmskog
January 1, 2024 13:33 2m 1s refresh-boilerplate
refresh-boilerplate
January 1, 2024 13:33 2m 1s
refresh boilerplate and ci Nix CI for bundle 8.17 #31: Pull request #68 synchronize by palmskog
January 1, 2024 13:33 2m 19s
January 1, 2024 13:33 2m 19s
refresh boilerplate and ci Nix CI for bundle 8.17 #30: Pull request #68 opened by palmskog
January 1, 2024 13:28 2m 18s refresh-boilerplate
refresh-boilerplate
January 1, 2024 13:28 2m 18s
refresh boilerplate and ci Nix CI for bundle 8.17 #29: Pull request #68 opened by palmskog
January 1, 2024 13:28 2m 18s
January 1, 2024 13:28 2m 18s
Update HB branch in Nix CI (#67) Nix CI for bundle 8.17 #28: Commit 892b5e0 pushed by palmskog
November 22, 2023 10:56 6m 31s master
master
November 22, 2023 10:56 6m 31s
Update HB branch in Nix CI Nix CI for bundle 8.17 #27: Pull request #67 opened by proux01
November 22, 2023 10:07 23m 9s
November 22, 2023 10:07 23m 9s
Adapt to https://github.com/math-comp/math-comp/pull/1046 (#66) Nix CI for bundle 8.17 #26: Commit 897778d pushed by palmskog
November 22, 2023 09:58 1m 22s master
master
November 22, 2023 09:58 1m 22s
Adapt to https://github.com/math-comp/math-comp/pull/1046 Nix CI for bundle 8.17 #25: Pull request #66 opened by proux01
November 22, 2023 08:54 2m 32s
November 22, 2023 08:54 2m 32s
clearer hypothesis of right-quotient dfa proof (#65) Nix CI for bundle 8.17 #24: Commit bc1161b pushed by palmskog
November 8, 2023 16:35 1m 30s master
master
November 8, 2023 16:35 1m 30s
clearer hypothesis of right-quotient dfa proof Nix CI for bundle 8.17 #23: Pull request #65 opened by palmskog
November 7, 2023 11:00 2m 39s
November 7, 2023 11:00 2m 39s
add CI for Coq 8.18 (#63) Nix CI for bundle 8.17 #22: Commit 529f206 pushed by palmskog
August 9, 2023 15:03 1m 16s master
master
August 9, 2023 15:03 1m 16s
add CI for Coq 8.18 Nix CI for bundle 8.17 #21: Pull request #63 opened by palmskog
August 9, 2023 14:11 2m 59s ci-8.18
ci-8.18
August 9, 2023 14:11 2m 59s