Skip to content

Actions: SkySkimmer/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-conflicts.yml
2,165 workflow runs
2,165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove debug printf in micromega find_witness Check conflicts #4127: Commit 22715dc pushed by SkySkimmer
October 30, 2023 14:37 21s find-witness-debug
find-witness-debug
October 30, 2023 14:37 21s
Fix DOWNLOAD_ONLY usage in quickchick_test script Check conflicts #4126: Commit 0bb118c pushed by SkySkimmer
October 30, 2023 14:35 19s quickchickonly
quickchickonly
October 30, 2023 14:35 19s
Support quotations (genargs) in patterns Check conflicts #4125: Commit e7eae12 pushed by SkySkimmer
October 30, 2023 12:24 12s pattern-quotations
pattern-quotations
October 30, 2023 12:24 12s
Ltac2: use preterm in exact / eexact Check conflicts #4124: Commit 4cf4ca4 pushed by SkySkimmer
October 30, 2023 12:18 13s ltac2-exact-preterm
ltac2-exact-preterm
October 30, 2023 12:18 13s
Merge PR #18139: Add commands Ltac2 Globalize, Ltac2 Check, Print Lta… Check conflicts #4123: Commit bda17b6 pushed by SkySkimmer
October 30, 2023 12:05 15s master
master
October 30, 2023 12:05 15s
Merge PR #18101: Simplify catch_failerror implementation Check conflicts #4122: Commit 148d68d pushed by SkySkimmer
October 30, 2023 11:59 16s master
master
October 30, 2023 11:59 16s
CI: enable TIMED for macos test-suite Check conflicts #4121: Commit 2aff817 pushed by SkySkimmer
October 27, 2023 12:30 16s test-update
test-update
October 27, 2023 12:30 16s
CI: enable TIMED for macos test-suite Check conflicts #4120: Commit 3477ff5 pushed by SkySkimmer
October 27, 2023 11:44 12s test-update
test-update
October 27, 2023 11:44 12s
test-suite: run make-one-time-file if TIMED Check conflicts #4119: Commit 4988857 pushed by SkySkimmer
October 27, 2023 11:18 14s test-update
test-update
October 27, 2023 11:18 14s
CI: set TIMED=1 for test suite jobs Check conflicts #4118: Commit a894b86 pushed by SkySkimmer
October 26, 2023 16:03 14s test-update
test-update
October 26, 2023 16:03 14s
Don't nf_univ_variables in prepare_hint Check conflicts #4117: Commit 908cecc pushed by SkySkimmer
October 26, 2023 13:43 17s hints-nf-uvars
hints-nf-uvars
October 26, 2023 13:43 17s
Prevent incorrect extraction of nontrivial sort polymorphism Check conflicts #4116: Commit 5adc9b3 pushed by SkySkimmer
October 26, 2023 12:31 13s sort-poly
sort-poly
October 26, 2023 12:31 13s
Use CDebug instead of msg_debug in indschemes Check conflicts #4115: Commit fc4076e pushed by SkySkimmer
October 26, 2023 12:26 11s schemes-debug
schemes-debug
October 26, 2023 12:26 11s
Ltac2: make argument order of fold combinators same as OCaml Check conflicts #4114: Commit 0ccec08 pushed by SkySkimmer
October 26, 2023 12:23 14s ltac2-fold-order
ltac2-fold-order
October 26, 2023 12:23 14s
Remove Summary.Local (deprecated in 8.18) Check conflicts #4113: Commit 0c15794 pushed by SkySkimmer
October 26, 2023 11:26 12s summ-local-ref
summ-local-ref
October 26, 2023 11:26 12s
Merge PR #17947: An update to #15582: clarify remaining obscure point… Check conflicts #4112: Commit 08dcbc5 pushed by SkySkimmer
October 26, 2023 11:23 14s master
master
October 26, 2023 11:23 14s
CI: Set fiat_crypto allow_failure Check conflicts #4111: Commit 2680f9b pushed by SkySkimmer
October 25, 2023 14:21 14s fia--allow-fail
fia--allow-fail
October 25, 2023 14:21 14s
Add tests for catching anomalies in conversion Check conflicts #4110: Commit 854b517 pushed by SkySkimmer
October 25, 2023 13:03 21s catch-anom
catch-anom
October 25, 2023 13:03 21s
Add tests for catching anomalies in conversion Check conflicts #4109: Commit 2625735 pushed by SkySkimmer
October 25, 2023 13:01 14s catch-anom
catch-anom
October 25, 2023 13:01 14s
Merge PR #18192: Fixing confusion about idempotency of abs Check conflicts #4108: Commit b7c0814 pushed by SkySkimmer
October 25, 2023 11:44 17s master
master
October 25, 2023 11:44 17s
Ltac2: incorporate type information in a nicer order for let rec Check conflicts #4107: Commit 3cc8cbb pushed by SkySkimmer
October 24, 2023 16:04 21s ltac2-intern-let
ltac2-intern-let
October 24, 2023 16:04 21s
Ltac2: add primitive APIs for projections Check conflicts #4106: Commit 4b9d1b3 pushed by SkySkimmer
October 24, 2023 13:47 18s ltac2-proj-apis
ltac2-proj-apis
October 24, 2023 13:47 18s
Fix Vernactypes.vtnoproof to actually reject open proofs Check conflicts #4105: Commit c27e98f pushed by SkySkimmer
October 24, 2023 12:28 11s vtnoproof
vtnoproof
October 24, 2023 12:28 11s
Remove Summary.Local (deprecated in 8.18) Check conflicts #4104: Commit 7ff38d0 pushed by SkySkimmer
October 24, 2023 12:08 12s summ-local-ref
summ-local-ref
October 24, 2023 12:08 12s
Use Cpred for simpl_never, more efficient Tacred.make_simpl_reds Check conflicts #4103: Commit 08ae9a4 pushed by SkySkimmer
October 24, 2023 11:55 13s redbehaviour-pred
redbehaviour-pred
October 24, 2023 11:55 13s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.