Skip to content

Actions: coq-community/reglang

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
187 workflow runs
187 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
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
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
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
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
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
July 30, 2023 02:07 45m 53s
Docker CI
Docker CI #520: Scheduled
July 23, 2023 02:17 46m 11s master
July 23, 2023 02:17 46m 11s
Docker CI
Docker CI #519: Scheduled
July 16, 2023 02:52 41m 47s master
July 16, 2023 02:52 41m 47s