Skip to content

Actions: eladrion/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
383 workflow runs
383 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #63: Scheduled
January 22, 2024 02:33 3s master
master
January 22, 2024 02:33 3s
Stale PRs Stale PRs #62: Scheduled
January 19, 2024 02:30 3s master
master
January 19, 2024 02:30 3s
Stale PRs Stale PRs #61: Scheduled
January 18, 2024 02:29 2s master
master
January 18, 2024 02:29 2s
This commit includes a proposal for extending the OCaml part of the e… GitHub macOS CI #65: Commit 54cd2c4 pushed by eladrion
January 17, 2024 08:02 1h 13m 34s extraction_extension
extraction_extension
January 17, 2024 08:02 1h 13m 34s
This commit includes a proposal for extending the OCaml part of the e… Check conflicts #65: Commit 54cd2c4 pushed by eladrion
January 17, 2024 08:02 11s extraction_extension
extraction_extension
January 17, 2024 08:02 11s
This commit includes a proposal for extending the OCaml part of the e… Windows CI #65: Commit 54cd2c4 pushed by eladrion
January 17, 2024 08:02 59m 20s extraction_extension
extraction_extension
January 17, 2024 08:02 59m 20s
Merge PR #18498: doc NZBase, NZadd, NZOrder GitHub macOS CI #64: Commit c011e08 pushed by eladrion
January 17, 2024 07:57 1h 16m 36s master
master
January 17, 2024 07:57 1h 16m 36s
Merge PR #18498: doc NZBase, NZadd, NZOrder Check conflicts #64: Commit c011e08 pushed by eladrion
January 17, 2024 07:57 13s master
master
January 17, 2024 07:57 13s
Merge PR #18498: doc NZBase, NZadd, NZOrder Windows CI #64: Commit c011e08 pushed by eladrion
January 17, 2024 07:57 59m 30s master
master
January 17, 2024 07:57 59m 30s
Stale PRs Stale PRs #60: Scheduled
January 17, 2024 02:29 2s master
master
January 17, 2024 02:29 2s
This commit includes a proposal for extending the OCaml part of the e… Check conflicts #63: Commit 1cd852e pushed by eladrion
January 16, 2024 11:50 11s extraction_extension
extraction_extension
January 16, 2024 11:50 11s
This commit includes a proposal for extending the OCaml part of the e… GitHub macOS CI #63: Commit 1cd852e pushed by eladrion
January 16, 2024 11:50 1h 14m 26s extraction_extension
extraction_extension
January 16, 2024 11:50 1h 14m 26s
This commit includes a proposal for extending the OCaml part of the e… Windows CI #63: Commit 1cd852e pushed by eladrion
January 16, 2024 11:50 58m 56s extraction_extension
extraction_extension
January 16, 2024 11:50 58m 56s
Merge PR #18486: Update CI branch for coqtail (master -> main) Windows CI #62: Commit 968c11b pushed by eladrion
January 16, 2024 09:48 1h 3m 3s master
master
January 16, 2024 09:48 1h 3m 3s
Merge PR #18486: Update CI branch for coqtail (master -> main) Check conflicts #62: Commit 968c11b pushed by eladrion
January 16, 2024 09:48 14s master
master
January 16, 2024 09:48 14s
Merge PR #18486: Update CI branch for coqtail (master -> main) GitHub macOS CI #62: Commit 968c11b pushed by eladrion
January 16, 2024 09:48 1h 13m 40s master
master
January 16, 2024 09:48 1h 13m 40s
Merge PR #18494: Fix gzipping profile files with coq_makefile combine… GitHub macOS CI #61: Commit 99848b2 pushed by eladrion
January 16, 2024 08:14 1h 17m 43s master
master
January 16, 2024 08:14 1h 17m 43s
Merge PR #18494: Fix gzipping profile files with coq_makefile combine… Windows CI #61: Commit 99848b2 pushed by eladrion
January 16, 2024 08:14 51m 55s master
master
January 16, 2024 08:14 51m 55s
Merge PR #18494: Fix gzipping profile files with coq_makefile combine… Check conflicts #61: Commit 99848b2 pushed by eladrion
January 16, 2024 08:14 13s master
master
January 16, 2024 08:14 13s
Stale PRs Stale PRs #59: Scheduled
January 16, 2024 02:29 2s master
master
January 16, 2024 02:29 2s
This commit includes a proposal for extending the OCaml part of the e… Check conflicts #60: Commit c3c7763 pushed by eladrion
January 15, 2024 14:56 13s extraction_extension
extraction_extension
January 15, 2024 14:56 13s
This commit includes a proposal for extending the OCaml part of the e… GitHub macOS CI #60: Commit c3c7763 pushed by eladrion
January 15, 2024 14:56 1h 14m 42s extraction_extension
extraction_extension
January 15, 2024 14:56 1h 14m 42s
This commit includes a proposal for extending the OCaml part of the e… Windows CI #60: Commit c3c7763 pushed by eladrion
January 15, 2024 14:56 51m 20s extraction_extension
extraction_extension
January 15, 2024 14:56 51m 20s
tacred: also cache result of reference_opt_value GitHub macOS CI #59: Commit 880f3da pushed by eladrion
January 15, 2024 14:52 1h 16m 52s extraction_extension
extraction_extension
January 15, 2024 14:52 1h 16m 52s
tacred: also cache result of reference_opt_value Windows CI #59: Commit 880f3da pushed by eladrion
January 15, 2024 14:52 52m 12s extraction_extension
extraction_extension
January 15, 2024 14:52 52m 12s