Skip to content

Actions: VeriNum/LAProof

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
138 workflow runs
138 workflow runs

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
Bump gh-pages from bb43000 to 3623c56 CI #194: Pull request #33 opened by dependabot Bot
30m 49s dependabot/submodules/gh-pages-3623c56
dependabot/submodules/gh-pages-3623c56
30m 49s
Remove a duplication from Makefile.coq.local CI #193: Commit 4286f63 pushed by andrew-appel
30m 47s main
main
30m 47s
Improve and rename forward_densematn_special CI #192: Commit 7beda4f pushed by andrew-appel
29m 42s main
main
29m 42s
update opam; new forward_densemat tactics; fix deprecations CI #191: Commit a9e338e pushed by andrew-appel
30m 43s main
main
30m 43s
Mathcomp 2.5 compatibility CI #190: Pull request #30 synchronize by andrew-appel
31m 15s mathcomp.2.5
mathcomp.2.5
31m 15s
Compatibility with vcfloat 2.4.1 CI #189: Commit bf04568 pushed by andrew-appel
25m 34s main
main
25m 34s
'install' now installs .c and .h files CI #188: Commit 0d2816e pushed by andrew-appel
29m 39s main
main
29m 39s
Merge pull request #32 from VeriNum/update-make-publish CI #187: Commit 9f5b24f pushed by ak-2485
39m 18s main
main
39m 18s
Add gh-pages checkout in make publish CI #186: Pull request #32 opened by ak-2485
39m 57s update-make-publish
update-make-publish
39m 57s
Merge pull request #31 from VeriNum/ariel/documentation CI #185: Commit aa6a1f6 pushed by ak-2485
39m 6s main
main
39m 6s
Document, refactor, and fix broken proof CI #184: Pull request #31 synchronize by andrew-appel
39m 32s ariel/documentation
ariel/documentation
39m 32s
Document, refactor, and fix broken proof CI #183: Pull request #31 opened by ak-2485
39m 30s ariel/documentation
ariel/documentation
39m 30s
Mathcomp 2.5 compatibility CI #182: Pull request #30 synchronize by andrew-appel
48m 30s mathcomp.2.5
mathcomp.2.5
48m 30s
Mathcomp 2.5 compatibility CI #181: Pull request #30 synchronize by andrew-appel
15s mathcomp.2.5
mathcomp.2.5
15s
Mathcomp 2.5 compatibility CI #180: Pull request #30 synchronize by andrew-appel
7m 51s mathcomp.2.5
mathcomp.2.5
7m 51s
Mathcomp 2.5 compatibility CI #179: Pull request #30 synchronize by andrew-appel
20s mathcomp.2.5
mathcomp.2.5
20s
Mathcomp 2.5 compatibility CI #178: Pull request #30 synchronize by andrew-appel
45m 23s mathcomp.2.5
mathcomp.2.5
45m 23s
Mathcomp 2.5 compatibility CI #177: Pull request #30 synchronize by andrew-appel
47m 42s mathcomp.2.5
mathcomp.2.5
47m 42s
Mathcomp 2.5 compatibility CI #176: Pull request #30 synchronize by andrew-appel
46m 32s mathcomp.2.5
mathcomp.2.5
46m 32s
Mathcomp 2.5 compatibility CI #175: Pull request #30 synchronize by andrew-appel
3m 3s mathcomp.2.5
mathcomp.2.5
3m 3s
Mathcomp 2.5 compatibility CI #174: Pull request #30 opened by andrew-appel
2m 55s mathcomp.2.5
mathcomp.2.5
2m 55s
Update the .gitignore file CI #173: Commit 317d866 pushed by andrew-appel
37m 15s main
main
37m 15s
Specified/proved densemat_print, densematn_print (to a rather overabs… CI #172: Commit fc54b27 pushed by andrew-appel
36m 58s main
main
36m 58s
Update documentation CI #171: Commit 04ef0c3 pushed by andrew-appel
37m 3s main
main
37m 3s
Documentation improvements: CI #170: Commit 47708e4 pushed by andrew-appel
36m 38s main
main
36m 38s