Skip to content

Actions: coq/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
136 workflow run results
136 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #664 from tlsomers/unicode-positions .github/workflows/ci.yml #782: Commit 30db7d4 pushed by rtetley
October 13, 2023 12:51 2h 7m 9s main
main
October 13, 2023 12:51 2h 7m 9s
do not crash if a Coq sentence raises an anomaly .github/workflows/ci.yml #781: Pull request #665 opened by gares
October 13, 2023 09:18 1h 17m 52s anomalies-no-crash
anomalies-no-crash
October 13, 2023 09:18 1h 17m 52s
Add support for multiple byte UTF-8 characters .github/workflows/ci.yml #780: Pull request #664 synchronize by tlsomers
October 13, 2023 08:32 1h 11m 24s tlsomers:unicode-positions
tlsomers:unicode-positions
October 13, 2023 08:32 1h 11m 24s
Add support for multiple byte UTF-8 characters .github/workflows/ci.yml #779: Pull request #664 synchronize by tlsomers
October 12, 2023 18:37 1h 21m 26s tlsomers:unicode-positions
tlsomers:unicode-positions
October 12, 2023 18:37 1h 21m 26s
Add support for multiple byte UTF-8 characters .github/workflows/ci.yml #778: Pull request #664 opened by tlsomers
October 12, 2023 16:00 1h 5m 15s tlsomers:unicode-positions
tlsomers:unicode-positions
October 12, 2023 16:00 1h 5m 15s
Syntax error bug .github/workflows/ci.yml #777: Pull request #656 synchronize by rtetley
October 12, 2023 14:36 1h 30m 20s syntax-error-bug
syntax-error-bug
October 12, 2023 14:36 1h 30m 20s
Syntax error bug .github/workflows/ci.yml #776: Pull request #656 synchronize by rtetley
October 11, 2023 16:46 1h 4m 35s syntax-error-bug
syntax-error-bug
October 11, 2023 16:46 1h 4m 35s
Syntax error bug .github/workflows/ci.yml #775: Pull request #656 opened by rtetley
October 10, 2023 16:08 1h 13m 17s syntax-error-bug
syntax-error-bug
October 10, 2023 16:08 1h 13m 17s
Adapt to Coq PR #18007: Proof_using.definition_using takes names of fixpoints being built .github/workflows/ci.yml #774: Pull request #654 opened by herbelin
October 9, 2023 08:22 1h 22m 18s herbelin:coq-master+adapt-coq-pr18007-extra-checks-proof-using
herbelin:coq-master+adapt-coq-pr18007-extra-checks-proof-using
October 9, 2023 08:22 1h 22m 18s
Bump postcss from 8.4.21 to 8.4.31 in /client/goal-view-ui .github/workflows/ci.yml #773: Pull request #653 opened by dependabot bot
October 7, 2023 12:52 1h 13m 7s dependabot/npm_and_yarn/client/goal-view-ui/postcss-8.4.31
dependabot/npm_and_yarn/client/goal-view-ui/postcss-8.4.31
October 7, 2023 12:52 1h 13m 7s
Bump postcss from 8.4.21 to 8.4.31 in /client/search-ui .github/workflows/ci.yml #772: Pull request #652 opened by dependabot bot
October 7, 2023 12:52 1h 19m 32s dependabot/npm_and_yarn/client/search-ui/postcss-8.4.31
dependabot/npm_and_yarn/client/search-ui/postcss-8.4.31
October 7, 2023 12:52 1h 19m 32s