Skip to content

Actions: coq-community/reglang

Actions

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

Docker CI Docker CI #547: Scheduled
November 19, 2023 02:06 16m 28s master
master
November 19, 2023 02:06 16m 28s
Docker CI Docker CI #546: Scheduled
November 12, 2023 02:03 28m 34s master
master
November 12, 2023 02:03 28m 34s
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
clearer hypothesis of right-quotient dfa proof (#65) Nix CI for bundle master #24: Commit bc1161b pushed by palmskog
November 8, 2023 16:35 11m 37s master
master
November 8, 2023 16:35 11m 37s
clearer hypothesis of right-quotient dfa proof (#65) Docker CI #545: Commit bc1161b pushed by palmskog
November 8, 2023 16:35 25m 22s master
master
November 8, 2023 16:35 25m 22s
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 Docker CI #544: Pull request #65 opened by palmskog
November 7, 2023 11:00 22m 57s dfa-accept
dfa-accept
November 7, 2023 11:00 22m 57s
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
clearer hypothesis of right-quotient dfa proof Nix CI for bundle 8.16 #23: Pull request #65 opened by palmskog
November 7, 2023 11:00 3m 57s
November 7, 2023 11:00 3m 57s
clearer hypothesis of right-quotient dfa proof Nix CI for bundle master #23: Pull request #65 opened by palmskog
November 7, 2023 11:00 8m 58s
November 7, 2023 11:00 8m 58s
Docker CI Docker CI #543: Scheduled
November 5, 2023 02:02 23m 47s master
master
November 5, 2023 02:02 23m 47s
Docker CI Docker CI #542: Scheduled
October 29, 2023 02:00 31m 51s master
master
October 29, 2023 02:00 31m 51s
Docker CI Docker CI #541: Scheduled
October 22, 2023 02:01 4m 47s master
master
October 22, 2023 02:01 4m 47s
Docker CI Docker CI #540: Scheduled
October 15, 2023 02:01 3m 54s master
master
October 15, 2023 02:01 3m 54s
Docker CI Docker CI #539: Scheduled
October 8, 2023 02:00 4m 32s master
master
October 8, 2023 02:00 4m 32s
Docker CI Docker CI #538: Scheduled
October 1, 2023 02:04 5m 47s master
master
October 1, 2023 02:04 5m 47s
Docker CI Docker CI #537: Scheduled
September 24, 2023 01:59 3m 48s master
master
September 24, 2023 01:59 3m 48s
Docker CI Docker CI #536: Scheduled
September 17, 2023 01:58 38m 26s master
master
September 17, 2023 01:58 38m 26s
Docker CI Docker CI #535: Scheduled
September 10, 2023 01:58 40m 21s master
master
September 10, 2023 01:58 40m 21s
Docker CI Docker CI #534: Scheduled
September 3, 2023 01:57 37m 56s master
master
September 3, 2023 01:57 37m 56s
Docker CI Docker CI #533: Scheduled
August 27, 2023 01:57 41m 16s master
master
August 27, 2023 01:57 41m 16s
Docker CI Docker CI #532: Scheduled
August 20, 2023 01:55 41m 35s master
master
August 20, 2023 01:55 41m 35s
Docker CI Docker CI #531: Scheduled
August 13, 2023 01:55 11m 55s master
master
August 13, 2023 01:55 11m 55s
add CI for Coq 8.18 (#63) Nix CI for bundle 8.16 #22: Commit 529f206 pushed by palmskog
August 9, 2023 15:03 1m 26s master
master
August 9, 2023 15:03 1m 26s
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