Skip to content

Actions: coq-community/reglang

Actions

Nix CI for bundle 8.16

Actions

Loading...
Loading

Show workflow options

Create status badge

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