Skip to content

Actions: mattam82/Coq-Equations

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #611 from ppedrot/ltac1-split-some-plugins CI #604: Commit 6dd6383 pushed by ppedrot
July 5, 2024 12:34 4m 6s main
main
July 5, 2024 12:34 4m 6s
Adapt w.r.t. coq/coq#19313. CI #603: Pull request #611 opened by ppedrot
July 4, 2024 08:10 4m 14s ppedrot:ltac1-split-some-plugins
ppedrot:ltac1-split-some-plugins
July 4, 2024 08:10 4m 14s
adapt to coq/coq#19300 CI #602: Pull request #610 opened by gares
July 4, 2024 06:40 4m 5s gares:quickfix-deprecated
gares:quickfix-deprecated
July 4, 2024 06:40 4m 5s
Adapt to PR#18903 CI #601: Pull request #596 synchronize by mattam82
June 21, 2024 13:17 4m 16s universes-clauses
universes-clauses
June 21, 2024 13:17 4m 16s
Merge pull request #608 from ppedrot/enforce-more-static-typing CI #600: Commit f9f7d3c pushed by ppedrot
June 9, 2024 09:40 4m 33s main
main
June 9, 2024 09:40 4m 33s
Enforce more static typing CI #599: Pull request #608 opened by ppedrot
June 7, 2024 22:33 4m 30s ppedrot:enforce-more-static-typing
ppedrot:enforce-more-static-typing
June 7, 2024 22:33 4m 30s
Merge pull request #607 from ppedrot/untuplify-context-map CI #598: Commit cb55e63 pushed by ppedrot
June 7, 2024 13:51 4m 38s main
main
June 7, 2024 13:51 4m 38s
Turn context_map into a record. CI #597: Pull request #607 opened by ppedrot
June 7, 2024 13:43 4m 35s ppedrot:untuplify-context-map
ppedrot:untuplify-context-map
June 7, 2024 13:43 4m 35s
Merge pull request #606 from ppedrot/enforce-static-typing CI #596: Commit 9a8afc2 pushed by ppedrot
June 6, 2024 09:14 4m 32s main
main
June 6, 2024 09:14 4m 32s
Remove a good part of the sources of abusive typing CI #595: Pull request #606 synchronize by ppedrot
June 2, 2024 19:30 4m 31s ppedrot:enforce-static-typing
ppedrot:enforce-static-typing
June 2, 2024 19:30 4m 31s
Remove a good part of the sources of abusive typing CI #594: Pull request #606 opened by ppedrot
June 2, 2024 00:08 4m 28s ppedrot:enforce-static-typing
ppedrot:enforce-static-typing
June 2, 2024 00:08 4m 28s
Merge pull request #605 from ppedrot/conversion-no-inner-exception-api CI #593: Commit a8d8f44 pushed by ppedrot
June 1, 2024 13:35 4m 22s main
main
June 1, 2024 13:35 4m 22s
Adapt w.r.t. coq/coq#19120. CI #592: Pull request #605 opened by ppedrot
June 1, 2024 13:29 4m 22s ppedrot:conversion-no-inner-exception-api
ppedrot:conversion-no-inner-exception-api
June 1, 2024 13:29 4m 22s
Merge pull request #599 from herbelin/main+adapt-coq-pr18795-more-uni… CI #591: Commit abf3cdf pushed by ppedrot
May 28, 2024 15:41 4m 23s main
main
May 28, 2024 15:41 4m 23s
Adapt to PR#18903 CI #590: Pull request #596 synchronize by mattam82
May 25, 2024 09:35 4m 25s universes-clauses
universes-clauses
May 25, 2024 09:35 4m 25s
Restrict the "simp" hint database to not unfold constants by default,… CI #589: Commit fec3cbb pushed by mattam82
May 23, 2024 10:10 4m 25s main
main
May 23, 2024 10:10 4m 25s
Merge pull request #602 from mattam82/remove-below-db-use-rec_decision CI #588: Commit 9597598 pushed by mattam82
May 22, 2024 13:37 4m 27s main
main
May 22, 2024 13:37 4m 27s
Merge pull request #604 from mattam82/fix-funelim-add-nosimp CI #587: Commit c9a9d44 pushed by mattam82
May 22, 2024 12:17 4m 26s main
main
May 22, 2024 12:17 4m 26s
Fix funelim and add a funelim_nosimp variant which does not try to … CI #586: Pull request #604 synchronize by mattam82
May 22, 2024 12:06 4m 36s fix-funelim-add-nosimp
fix-funelim-add-nosimp
May 22, 2024 12:06 4m 36s
Fix funelim and add a funelim_nosimp variant which does not try to … CI #585: Pull request #604 opened by mattam82
May 22, 2024 09:53 4m 23s fix-funelim-add-nosimp
fix-funelim-add-nosimp
May 22, 2024 09:53 4m 23s
Merge pull request #603 from mattam82/revert-593-fix-simplify-opacity… CI #584: Commit f53c8cc pushed by mattam82
May 21, 2024 15:19 15m 59s main
main
May 21, 2024 15:19 15m 59s
Revert "Fix simplify breaking the transparency/opaque status of constants a…" CI #583: Pull request #603 opened by mattam82
May 21, 2024 15:19 32m 2s revert-593-fix-simplify-opacity-and-funelim
revert-593-fix-simplify-opacity-and-funelim
May 21, 2024 15:19 32m 2s
Replace the outdated "Below" hint database with a rec_decision data… CI #582: Pull request #602 opened by mattam82
May 21, 2024 11:36 4m 39s remove-below-db-use-rec_decision
remove-below-db-use-rec_decision
May 21, 2024 11:36 4m 39s
Merge pull request #601 from ppedrot/centralize-assert-replacing CI #581: Commit ab07687 pushed by ppedrot
May 21, 2024 10:13 4m 35s main
main
May 21, 2024 10:13 4m 35s
Centralize the use of Tactics.assert_before_replacing. CI #580: Pull request #601 opened by ppedrot
May 21, 2024 10:01 4m 24s ppedrot:centralize-assert-replacing
ppedrot:centralize-assert-replacing
May 21, 2024 10:01 4m 24s