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

Purge redundant misc lemmas Nix CI for bundle 8.17 #16: Pull request #61 opened by palmskog
August 3, 2023 13:33 3m 10s
August 3, 2023 13:33 3m 10s
Switch back to Dune-Coq 0.3, fix duplicate-clear warning (#60) Nix CI for bundle 8.16 #15: Commit 8aa06ae pushed by palmskog
August 3, 2023 13:17 1m 25s master
master
August 3, 2023 13:17 1m 25s
Switch back to Dune-Coq 0.3, fix duplicate-clear warning (#60) Nix CI for bundle master #15: Commit 8aa06ae pushed by palmskog
August 3, 2023 13:17 51m 11s master
master
August 3, 2023 13:17 51m 11s
Switch back to Dune-Coq 0.3, fix duplicate-clear warning (#60) Docker CI #523: Commit 8aa06ae pushed by palmskog
August 3, 2023 13:17 5m 2s master
master
August 3, 2023 13:17 5m 2s
Switch back to Dune-Coq 0.3, fix duplicate-clear warning (#60) Nix CI for bundle 8.17 #15: Commit 8aa06ae pushed by palmskog
August 3, 2023 13:17 1m 38s master
master
August 3, 2023 13:17 1m 38s
Switch back to Dune-Coq 0.3, fix duplicate-clear warning Docker CI #522: Pull request #60 opened by palmskog
August 2, 2023 08:54 4m 4s dune-0.3
dune-0.3
August 2, 2023 08:54 4m 4s
Switch back to Dune-Coq 0.3, fix duplicate-clear warning Nix CI for bundle 8.16 #14: Pull request #60 opened by palmskog
August 2, 2023 08:54 3m 15s
August 2, 2023 08:54 3m 15s
Switch back to Dune-Coq 0.3, fix duplicate-clear warning Nix CI for bundle master #14: Pull request #60 opened by palmskog
August 2, 2023 08:54 1h 0m 41s
August 2, 2023 08:54 1h 0m 41s
Switch back to Dune-Coq 0.3, fix duplicate-clear warning Nix CI for bundle 8.17 #14: Pull request #60 opened by palmskog
August 2, 2023 08:54 2m 54s
August 2, 2023 08:54 2m 54s
Docker CI Docker CI #521: Scheduled
July 30, 2023 02:07 45m 53s master
master
July 30, 2023 02:07 45m 53s