Skip to content

Actions: coq-community/reglang

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
use elpi version 1.18.1
Docker CI #562: Pull request #69 opened by CohenCyril
January 2, 2024 11:16 2m 55s CohenCyril:update-nix
January 2, 2024 11:16 2m 55s
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
January 1, 2024 14:09 1m 20s
refresh boilerplate and ci (#68)
Nix CI for bundle master #35: Commit db2d8bb pushed by palmskog
January 1, 2024 14:09 1m 50s master
January 1, 2024 14:09 1m 50s
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
January 1, 2024 14:09 1m 22s
refresh boilerplate and ci (#68)
Docker CI #561: Commit db2d8bb pushed by palmskog
January 1, 2024 14:09 3m 7s master
January 1, 2024 14:09 3m 7s
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
January 1, 2024 13:43 19m 21s
refresh boilerplate and ci
Nix CI for bundle master #34: Pull request #68 synchronize by palmskog
January 1, 2024 13:43 1m 59s refresh-boilerplate
January 1, 2024 13:43 1m 59s
refresh boilerplate and ci
Docker CI #560: Pull request #68 synchronize by palmskog
January 1, 2024 13:43 3m 1s refresh-boilerplate
January 1, 2024 13:43 3m 1s
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
January 1, 2024 13:43 24m 31s
refresh boilerplate and ci
Nix CI for bundle master #33: Pull request #68 synchronize by palmskog
January 1, 2024 13:43 1m 54s
January 1, 2024 13:43 1m 54s
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.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.17 #32: Pull request #68 synchronize by palmskog
January 1, 2024 13:33 2m 1s refresh-boilerplate
January 1, 2024 13:33 2m 1s
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
January 1, 2024 13:33 2m 5s
refresh boilerplate and ci
Nix CI for bundle master #32: Pull request #68 synchronize by palmskog
January 1, 2024 13:33 45s refresh-boilerplate
January 1, 2024 13:33 45s
refresh boilerplate and ci
Docker CI #559: Pull request #68 synchronize by palmskog
January 1, 2024 13:33 2m 55s refresh-boilerplate
January 1, 2024 13:33 2m 55s
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 master #31: Pull request #68 synchronize by palmskog
January 1, 2024 13:33 46s
January 1, 2024 13:33 46s
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
January 1, 2024 13:28 2m 16s
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
January 1, 2024 13:28 2m 18s
refresh boilerplate and ci
Nix CI for bundle master #30: Pull request #68 opened by palmskog
January 1, 2024 13:28 53s refresh-boilerplate
January 1, 2024 13:28 53s
refresh boilerplate and ci
Docker CI #558: Pull request #68 opened by palmskog
January 1, 2024 13:28 2m 54s refresh-boilerplate
January 1, 2024 13:28 2m 54s