Skip to content

Actions: impermeable/coq-waterproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
506 workflow runs
506 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #233 from ppedrot/hints-derive-uid-from-data Build #789: Commit 2be1c47 pushed by jim-portegies
3m 32s coq-master
coq-master
3m 32s
Merge pull request #232 from ppedrot/rm-non-global-hint Build #788: Commit ed86d85 pushed by SkySkimmer
2m 26s coq-master
coq-master
2m 26s
Merge pull request #231 from SkySkimmer/only-above Build #787: Commit ee838bc pushed by jim-portegies
3m 23s coq-master
coq-master
3m 23s
Adapt to rocq-prover/rocq#21820 (collapse_sort_variables arg change) Documentation #154: Pull request #231 opened by SkySkimmer
2m 43s SkySkimmer:only-above
SkySkimmer:only-above
2m 43s
Update coq-lsp version in Developer instructions Documentation #153: Pull request #230 synchronize by pimotte
4m 26s update-coq-lsp-version-numbers
update-coq-lsp-version-numbers
4m 26s
Update coq-lsp version to 0.2.4 in devcontainer Build #786: Commit 78dc04d pushed by pimotte
3m 18s update-coq-lsp-version-numbers
update-coq-lsp-version-numbers
3m 18s
Update coq-lsp version in Developer instructions Documentation #152: Pull request #230 opened by jim-portegies
3m 55s update-coq-lsp-version-numbers
update-coq-lsp-version-numbers
3m 55s
Update coq-lsp version in Developer instructions Build #785: Commit 46665f6 pushed by jim-portegies
3m 26s update-coq-lsp-version-numbers
update-coq-lsp-version-numbers
3m 26s
Merge pull request #227 from SkySkimmer/ltac2-scoped-notations Build #784: Commit bb0e61a pushed by SkySkimmer
2m 13s coq-master
coq-master
2m 13s
Waterproof proof mode, first version. Build #783: Commit 004b4f2 pushed by SkySkimmer
3m 17s wp_proof_mode
wp_proof_mode
3m 17s
Waterproof proof mode, first version. Build #782: Commit 5fea586 pushed by SkySkimmer
3m 21s wp_proof_mode
wp_proof_mode
3m 21s
Extra test case Build with make #236: Commit c9c0046 pushed by SkySkimmer
1m 28s wp_proof_mode
wp_proof_mode
1m 28s
Extra test case Build #781: Commit c9c0046 pushed by SkySkimmer
2m 11s wp_proof_mode
wp_proof_mode
2m 11s
Add back require import Build #780: Commit 072a4d2 pushed by jim-portegies
3m 20s chore/example-parsing-errors
chore/example-parsing-errors
3m 20s
Add parsing errors example Build #779: Commit 9cbe01d pushed by jim-portegies
3m 18s chore/example-parsing-errors
chore/example-parsing-errors
3m 18s
Merge pull request #228 from SkySkimmer/gentac-up Build #778: Commit 8131af2 pushed by jim-portegies
6m 19s coq-master
coq-master
6m 19s
Adapt to rocq-prover/rocq#21568 (gentactic is not genarg) Documentation #151: Pull request #228 opened by SkySkimmer
3m 39s SkySkimmer:gentac-up
SkySkimmer:gentac-up
3m 39s
Merge pull request #226 from ppedrot/sanitize-univ-api Build #777: Commit 99ad6ff pushed by SkySkimmer
3m 53s coq-master
coq-master
3m 53s
Merge pull request #224 from mattam82/sort-poly-flags Build #776: Commit c2e62d6 pushed by SkySkimmer
2m 11s coq-master
coq-master
2m 11s
Merge pull request #225 from ppedrot/reduce-pcontext-set Build #775: Commit 67968c5 pushed by jim-portegies
3m 26s coq-master
coq-master
3m 26s
Merge pull request #223 from ppedrot/fix-dune-file Build #774: Commit bc62232 pushed by SkySkimmer
3m 31s coq-master
coq-master
3m 31s
Merge pull request #222 from impermeable/chore/deprecation-warnings-n… Build #773: Commit 2bc69db pushed by jim-portegies
1m 58s coq-master
coq-master
1m 58s
Change -w -3 for -warn-error -3 Build #772: Commit 964b823 pushed by jim-portegies
2m 12s chore/deprecation-warnings-no-errors
chore/deprecation-warnings-no-errors
2m 12s
Merge pull request #221 from ppedrot/reintroduce-univ-contextset Build #771: Commit 57ccb15 pushed by SkySkimmer
2m 12s coq-master
coq-master
2m 12s
Treat deprecation errors no longer as warnings Build #770: Commit 018cf1d pushed by jim-portegies
3m 18s chore/deprecation-warnings-no-errors
chore/deprecation-warnings-no-errors
3m 18s