Skip to content

Actions: SkySkimmer/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-conflicts.yml
365 workflow run results
365 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci-wrapper: prevent piping from disabling auto colors, enable colors … Check conflicts #4389: Commit 5e3447a pushed by SkySkimmer
December 13, 2023 11:53 11s ci-wrapper-color
ci-wrapper-color
December 13, 2023 11:53 11s
Merge PR #18369: Ltac2.Char.of_int: use throw instead of raw except… Check conflicts #4388: Commit c3306d6 pushed by SkySkimmer
December 13, 2023 11:45 16s master
master
December 13, 2023 11:45 16s
Merge PR #18399: Remove badly supported and broken cram tests Check conflicts #4387: Commit 12cef4d pushed by SkySkimmer
December 11, 2023 14:20 13s master
master
December 11, 2023 14:20 13s
Renaming: update env instead of postprocessing Check conflicts #4386: Commit eab0d6a pushed by SkySkimmer
December 11, 2023 13:56 10s rename-update-env
rename-update-env
December 11, 2023 13:56 10s
Merge PR #18393: Fixes #12755 and #18392: argument names wrongly shif… Check conflicts #4385: Commit 3a8c562 pushed by SkySkimmer
December 11, 2023 13:55 11s master
master
December 11, 2023 13:55 11s
ci-wrapper: grep for errors at the end Check conflicts #4384: Commit eac0b75 pushed by SkySkimmer
December 11, 2023 13:54 13s ci-wrap-grep-err
ci-wrap-grep-err
December 11, 2023 13:54 13s
Fix artifacts for build:vio Check conflicts #4383: Commit d94d232 pushed by SkySkimmer
December 11, 2023 13:53 11s build-vio-artifacts
build-vio-artifacts
December 11, 2023 13:53 11s
test more Check conflicts #4382: Commit 2f0bf14 pushed by SkySkimmer
December 11, 2023 13:12 14s test-nix
test-nix
December 11, 2023 13:12 14s
Test updated bench machine Check conflicts #4381: Commit 630c0da pushed by SkySkimmer
December 11, 2023 11:13 15s test-bench
test-bench
December 11, 2023 11:13 15s
Remove badly supported cram tests Check conflicts #4380: Commit d4b0510 pushed by SkySkimmer
December 11, 2023 11:03 14s nocram
nocram
December 11, 2023 11:03 14s
test test Check conflicts #4379: Commit 4b4ef76 pushed by SkySkimmer
December 11, 2023 11:00 13s test-nix
test-nix
December 11, 2023 11:00 13s
Test updated bench machine Check conflicts #4378: Commit db1124e pushed by SkySkimmer
December 11, 2023 10:57 13s test-bench
test-bench
December 11, 2023 10:57 13s
test more Check conflicts #4377: Commit d16d6f1 pushed by SkySkimmer
December 11, 2023 10:40 13s test-nix
test-nix
December 11, 2023 10:40 13s
test more Check conflicts #4376: Commit c653621 pushed by SkySkimmer
December 11, 2023 10:39 13s test-nix
test-nix
December 11, 2023 10:39 13s
8.19: put version number in CI image names Check conflicts #4375: Commit c785464 pushed by SkySkimmer
December 11, 2023 08:38 11s 819-image
819-image
December 11, 2023 08:38 11s
empty commit to stop PR closing Check conflicts #4374: Commit c8e76ca pushed by SkySkimmer
December 11, 2023 08:21 11s 819-backports
819-backports
December 11, 2023 08:21 11s
Backport PR #17920: ssrbool: reenable overwriting-delimiting-key Check conflicts #4373: Commit 87fe59e pushed by SkySkimmer
December 11, 2023 08:18 10s v8.19
v8.19
December 11, 2023 08:18 10s
Merge PR #16126: Add support for output directory in extraction Check conflicts #4372: Commit 19e3e29 pushed by SkySkimmer
December 11, 2023 08:14 17s master
master
December 11, 2023 08:14 17s
Fix: ounit dependency is for coq.opam not coq-core.opam Check conflicts #4371: Commit 30fafff pushed by SkySkimmer
December 8, 2023 15:08 14s fix-ounit-dep
fix-ounit-dep
December 8, 2023 15:08 14s
Merge PR #18360: [docker] [ci] Bump base build edge deps. Check conflicts #4370: Commit d5f5537 pushed by SkySkimmer
December 8, 2023 15:08 22s master
master
December 8, 2023 15:08 22s
test more Check conflicts #4369: Commit fba9c83 pushed by SkySkimmer
December 8, 2023 14:56 9s test-nix
test-nix
December 8, 2023 14:56 9s
test more Check conflicts #4368: Commit b86939c pushed by SkySkimmer
December 8, 2023 14:50 11s test-nix
test-nix
December 8, 2023 14:50 11s
test more Check conflicts #4367: Commit 1437e36 pushed by SkySkimmer
December 8, 2023 14:45 11s test-nix
test-nix
December 8, 2023 14:45 11s
test more Check conflicts #4366: Commit 21de4f6 pushed by SkySkimmer
December 8, 2023 14:41 11s test-nix
test-nix
December 8, 2023 14:41 11s
test more Check conflicts #4365: Commit 089a967 pushed by SkySkimmer
December 8, 2023 14:36 10s test-nix
test-nix
December 8, 2023 14:36 10s