Skip to content

Actions: jfehrle/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refine description of reflexivity tactic Check conflicts #1055: Commit 85a5b8e pushed by jfehrle
September 27, 2024 04:09 13s reflexivity_doc
reflexivity_doc
September 27, 2024 04:09 13s
Refine description of reflexivity tactic Check conflicts #1054: Commit 6c50ca5 pushed by jfehrle
September 27, 2024 04:08 13s reflexivity_doc
reflexivity_doc
September 27, 2024 04:08 13s
Refine description of reflexivity tactic Check conflicts #1053: Commit a562cc5 pushed by jfehrle
September 20, 2024 05:53 10s reflexivity_doc
reflexivity_doc
September 20, 2024 05:53 10s
Refine description of reflexivity tactic Check conflicts #1052: Commit 2d775f5 pushed by jfehrle
September 19, 2024 01:44 11s reflexivity_doc
reflexivity_doc
September 19, 2024 01:44 11s
Refine description of reflexivity tactic Check conflicts #1051: Commit e0935c1 pushed by jfehrle
September 19, 2024 01:43 11s reflexivity_doc
reflexivity_doc
September 19, 2024 01:43 11s
Refine description of reflexivity tactic Check conflicts #1050: Commit 125abcc pushed by jfehrle
September 18, 2024 00:48 14s reflexivity_doc
reflexivity_doc
September 18, 2024 00:48 14s
Refine description of reflexivity tactic Check conflicts #1049: Commit c581883 pushed by jfehrle
September 16, 2024 04:38 11s reflexivity_doc
reflexivity_doc
September 16, 2024 04:38 11s
Refine description of reflexivity tactic Check conflicts #1048: Commit de90a6a pushed by jfehrle
September 13, 2024 23:10 13s reflexivity_doc
reflexivity_doc
September 13, 2024 23:10 13s
Set version Check conflicts #1047: Commit fa95a36 pushed by jfehrle
September 11, 2024 19:43 11s debug_pl_8_19_tag2
debug_pl_8_19_tag2
September 11, 2024 19:43 11s
Set version Check conflicts #1046: Commit fa95a36 pushed by jfehrle
September 11, 2024 19:34 12s debug_pl_8_19
debug_pl_8_19
September 11, 2024 19:34 12s
Check for user interrupt in autorewrite, which can be an infinite loop Check conflicts #1045: Commit e12a218 pushed by jfehrle
September 7, 2024 15:50 10s infinite_autorewrite
infinite_autorewrite
September 7, 2024 15:50 10s
Add example of "discriminate" limitation Check conflicts #1044: Commit 0eeca2c pushed by jfehrle
September 7, 2024 15:15 12s discriminate_example
discriminate_example
September 7, 2024 15:15 12s
Add example of "discriminate" limitation Check conflicts #1043: Commit 1c29a51 pushed by jfehrle
September 6, 2024 23:15 9s discriminate_example
discriminate_example
September 6, 2024 23:15 9s
Add example of "discriminate" limitation Check conflicts #1042: Commit 63b256f pushed by jfehrle
September 6, 2024 22:40 10s discriminate_example
discriminate_example
September 6, 2024 22:40 10s
Add example of "discriminate" limitation Check conflicts #1041: Commit fd34a63 pushed by jfehrle
September 5, 2024 17:53 12s discriminate_example
discriminate_example
September 5, 2024 17:53 12s
Add example of "discriminate" limitation Check conflicts #1040: Commit 684b3f8 pushed by jfehrle
September 4, 2024 20:11 11s discriminate_example
discriminate_example
September 4, 2024 20:11 11s
Add example of "discriminate" limitation Check conflicts #1039: Commit 19f5600 pushed by jfehrle
August 29, 2024 17:52 13s discriminate_example
discriminate_example
August 29, 2024 17:52 13s
Add example of "discriminate" limitation (doesn't work with variables) Check conflicts #1038: Commit 502cdda pushed by jfehrle
August 28, 2024 22:31 10s discriminate_example
discriminate_example
August 28, 2024 22:31 10s
Add example of "discriminate" limitation (doesn't work with variables) Check conflicts #1037: Commit 0aeeb9f pushed by jfehrle
August 28, 2024 22:19 9s discriminate_example
discriminate_example
August 28, 2024 22:19 9s
Add example of "discriminate" limitation (doesn't work with variables) Check conflicts #1036: Commit 347c340 pushed by jfehrle
August 28, 2024 21:46 10s discriminate_example
discriminate_example
August 28, 2024 21:46 10s
Add example of "discriminate" limitation (doesn't work with variables) Check conflicts #1035: Commit f6397b0 pushed by jfehrle
August 28, 2024 21:44 10s discriminate_example
discriminate_example
August 28, 2024 21:44 10s
Add example of "discriminate" limitation (doesn't work with variables) Check conflicts #1034: Commit 7b2ea68 pushed by jfehrle
August 28, 2024 21:28 14s discriminate_example
discriminate_example
August 28, 2024 21:28 14s
Add example of "discriminate" limitation (doesn't work with variables) Check conflicts #1033: Commit 250fcd8 pushed by jfehrle
August 27, 2024 15:44 11s discriminate_example
discriminate_example
August 27, 2024 15:44 11s
Tweak formatting of "Print HintDb" output Check conflicts #1032: Commit f19098b pushed by jfehrle
August 27, 2024 02:19 15s print_hintdb_format
print_hintdb_format
August 27, 2024 02:19 15s
Add example of "discriminate" limitation (doesn't work with variables) Check conflicts #1031: Commit 1ee0e52 pushed by jfehrle
August 27, 2024 02:17 12s discriminate_example
discriminate_example
August 27, 2024 02:17 12s