Skip to content

Actions: herbelin/github-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
825 workflow runs
825 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change log for #20960 Check conflicts #3016: Commit 35efc2c pushed by herbelin
July 22, 2025 09:57 8s master+fix-anomaly-imitate-solved-on-the-fly
master+fix-anomaly-imitate-solved-on-the-fly
July 22, 2025 09:57 8s
Change log for #20960 Github CI #35: Commit 35efc2c pushed by herbelin
July 22, 2025 09:57 28m 21s master+fix-anomaly-imitate-solved-on-the-fly
master+fix-anomaly-imitate-solved-on-the-fly
July 22, 2025 09:57 28m 21s
Change log for #20946 Github CI #34: Commit 41a46da pushed by herbelin
July 21, 2025 12:45 27m 46s master+fix15815-anomaly-projection-notation-too-many-parameters
master+fix15815-anomaly-projection-notation-too-many-parameters
July 21, 2025 12:45 27m 46s
Change log for #20946 Check conflicts #3015: Commit 41a46da pushed by herbelin
July 21, 2025 12:45 7s master+fix15815-anomaly-projection-notation-too-many-parameters
master+fix15815-anomaly-projection-notation-too-many-parameters
July 21, 2025 12:45 7s
Change log for #20945 Github CI #33: Commit f826c44 pushed by herbelin
July 21, 2025 12:37 28m 17s master+fix-arguments-too-little-scopes-proj
master+fix-arguments-too-little-scopes-proj
July 21, 2025 12:37 28m 17s
Change log for #20945 Check conflicts #3014: Commit f826c44 pushed by herbelin
July 21, 2025 12:37 11s master+fix-arguments-too-little-scopes-proj
master+fix-arguments-too-little-scopes-proj
July 21, 2025 12:37 11s
Change log for #20946 Github CI #32: Commit 978aaef pushed by herbelin
July 21, 2025 09:39 29m 25s master+fix15815-anomaly-projection-notation-too-many-parameters
master+fix15815-anomaly-projection-notation-too-many-parameters
July 21, 2025 09:39 29m 25s
Change log for #20946 Check conflicts #3013: Commit 978aaef pushed by herbelin
July 21, 2025 09:39 7s master+fix15815-anomaly-projection-notation-too-many-parameters
master+fix15815-anomaly-projection-notation-too-many-parameters
July 21, 2025 09:39 7s
Change log for #20945 Check conflicts #3012: Commit 99cb764 pushed by herbelin
July 21, 2025 09:37 11s master+fix-arguments-too-little-scopes-proj
master+fix-arguments-too-little-scopes-proj
July 21, 2025 09:37 11s
Change log for #20945 Github CI #31: Commit 99cb764 pushed by herbelin
July 21, 2025 09:37 29m 53s master+fix-arguments-too-little-scopes-proj
master+fix-arguments-too-little-scopes-proj
July 21, 2025 09:37 29m 53s
Improve the printing of evar instances with several same names. Github CI #30: Commit e0e68c5 pushed by herbelin
July 20, 2025 18:59 27m 48s master+hack-printing-evar-instances-duplicated-names
master+hack-printing-evar-instances-duplicated-names
July 20, 2025 18:59 27m 48s
Improve the printing of evar instances with several same names. Check conflicts #3011: Commit e0e68c5 pushed by herbelin
July 20, 2025 18:59 11s master+hack-printing-evar-instances-duplicated-names
master+hack-printing-evar-instances-duplicated-names
July 20, 2025 18:59 11s
Improve the printing of evar instances with several same names. Check conflicts #3010: Commit 63d4481 pushed by herbelin
July 20, 2025 18:46 9s master+hack-printing-evar-instances-duplicated-names
master+hack-printing-evar-instances-duplicated-names
July 20, 2025 18:46 9s
Improve the printing of evar instances with several same names. Github CI #29: Commit 63d4481 pushed by herbelin
July 20, 2025 18:46 12m 40s master+hack-printing-evar-instances-duplicated-names
master+hack-printing-evar-instances-duplicated-names
July 20, 2025 18:46 12m 40s
Improve the printing of evar instances with several same names. Github CI #28: Commit 8c9fc42 pushed by herbelin
July 20, 2025 18:24 22m 30s master+hack-printing-evar-instances-duplicated-names
master+hack-printing-evar-instances-duplicated-names
July 20, 2025 18:24 22m 30s
Improve the printing of evar instances with several same names. Check conflicts #3009: Commit 8c9fc42 pushed by herbelin
July 20, 2025 18:24 14s master+hack-printing-evar-instances-duplicated-names
master+hack-printing-evar-instances-duplicated-names
July 20, 2025 18:24 14s
Fixes #20941: "assert false" anomaly in "evarsolve.ml" when "imitate"… Github CI #27: Commit b9586ba pushed by herbelin
July 20, 2025 17:27 34m 50s master+fix-anomaly-imitate-solved-on-the-fly
master+fix-anomaly-imitate-solved-on-the-fly
July 20, 2025 17:27 34m 50s
Fixes #20941: "assert false" anomaly in "evarsolve.ml" when "imitate"… Check conflicts #3008: Commit b9586ba pushed by herbelin
July 20, 2025 17:27 9s master+fix-anomaly-imitate-solved-on-the-fly
master+fix-anomaly-imitate-solved-on-the-fly
July 20, 2025 17:27 9s
. Github CI #26: Commit f04db76 pushed by herbelin
July 20, 2025 17:25 2m 5s master+fix-anomaly-imitate-solved-on-the-fly
master+fix-anomaly-imitate-solved-on-the-fly
July 20, 2025 17:25 2m 5s
. Check conflicts #3007: Commit f04db76 pushed by herbelin
July 20, 2025 17:25 7s master+fix-anomaly-imitate-solved-on-the-fly
master+fix-anomaly-imitate-solved-on-the-fly
July 20, 2025 17:25 7s
Fix an evarconv anomaly when imitate solve the evar on the fly. Check conflicts #3006: Commit 5f953bb pushed by herbelin
July 20, 2025 17:24 10s master+fix-anomaly-imitate-solved-on-the-fly
master+fix-anomaly-imitate-solved-on-the-fly
July 20, 2025 17:24 10s
Fix an evarconv anomaly when imitate solve the evar on the fly. Github CI #25: Commit 5f953bb pushed by herbelin
July 20, 2025 17:24 1m 51s master+fix-anomaly-imitate-solved-on-the-fly
master+fix-anomaly-imitate-solved-on-the-fly
July 20, 2025 17:24 1m 51s
Fixes #20940: anomaly List.chop in the presence of projections with n… Check conflicts #3005: Commit 669b4b3 pushed by herbelin
July 20, 2025 16:59 9s master+fix-arguments-too-little-scopes-proj
master+fix-arguments-too-little-scopes-proj
July 20, 2025 16:59 9s
Fixes #20940: anomaly List.chop in the presence of projections with n… Github CI #24: Commit 669b4b3 pushed by herbelin
July 20, 2025 16:59 29m 38s master+fix-arguments-too-little-scopes-proj
master+fix-arguments-too-little-scopes-proj
July 20, 2025 16:59 29m 38s
Fixes #15815: Anomaly List.chop with extra projection parameters in a… Check conflicts #3004: Commit 98b7fad pushed by herbelin
July 20, 2025 16:59 8s master+fix15815-anomaly-projection-notation-too-many-parameters
master+fix15815-anomaly-projection-notation-too-many-parameters
July 20, 2025 16:59 8s