Skip to content

two proofs of join bool being equivalent to suspension #1598

two proofs of join bool being equivalent to suspension

two proofs of join bool being equivalent to suspension #1598

Triggered via pull request October 5, 2023 13:03
Status Success
Total duration 20m 8s
Artifacts

ci.yml

on: pull_request
Matrix: build
Matrix: opam-build
Matrix: quick-build
Matrix: coqchk
Matrix: install
deploy-doc
0s
deploy-doc
delete-artifacts
10s
delete-artifacts
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
nix
Unexpected input(s) 'name', 'authToken', 'extraPullNames', valid inputs are ['extra_nix_config', 'github_access_token', 'install_url', 'install_options', 'nix_path']
delete-artifacts
The following actions uses node12 which is deprecated and will be forced to run on node16: geekyeggo/delete-artifact@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/