Skip to content

Actions: FPBench/FPBench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #149 from InnovativeInventor/main CI #295: Commit 2fc67aa pushed by pavpanchekha
15m 20s main
main
15m 20s
Merge pull request #149 from InnovativeInventor/main Deploy benchmark web pages #22: Commit 2fc67aa pushed by pavpanchekha
51s main
main
51s
Remove the special-casing of "e" literals in PVS CI #294: Commit 274bbeb pushed by pavpanchekha
13m 7s remove-pvs-e-special-case
remove-pvs-e-special-case
13m 7s
Add a supported-literals field and mark PVS as not supporting exponen… CI #293: Commit 7b82c09 pushed by pavpanchekha
13m 41s supported-numbers
supported-numbers
13m 41s
Merge pull request #148 from AYadrov/main Deploy benchmark web pages #21: Commit f0dd964 pushed by pavpanchekha
1m 6s main
main
1m 6s
Merge pull request #148 from AYadrov/main CI #292: Commit f0dd964 pushed by pavpanchekha
13m 18s main
main
13m 18s
Update Racket link CI #291: Commit 53bc440 pushed by pavpanchekha
15m 7s main
main
15m 7s
Update Racket link Deploy benchmark web pages #20: Commit 53bc440 pushed by pavpanchekha
56s main
main
56s
Merge pull request #147 from AYadrov/main CI #290: Commit 137a978 pushed by pavpanchekha
13m 17s main
main
13m 17s
Merge pull request #147 from AYadrov/main Deploy benchmark web pages #19: Commit 137a978 pushed by pavpanchekha
1m 0s main
main
1m 0s
Merge pull request #146 from AYadrov/main CI #289: Commit 579c840 pushed by pavpanchekha
13m 49s main
main
13m 49s
Merge pull request #146 from AYadrov/main Deploy benchmark web pages #18: Commit 579c840 pushed by pavpanchekha
1m 11s main
main
1m 11s
core2pvs CI #288: Pull request #146 by AYadrov
Failure AYadrov:main
AYadrov:main
Failure
Merge pull request #144 from reporterfredbriggs/main Deploy benchmark web pages #17: Commit 759b478 pushed by pavpanchekha
53s main
main
53s
Merge pull request #144 from reporterfredbriggs/main CI #287: Commit 759b478 pushed by pavpanchekha
13m 0s main
main
13m 0s
Restore test-export.sh CI #286: Commit 9db64cb pushed by pavpanchekha
13m 24s main
main
13m 24s
Restore test-export.sh Deploy benchmark web pages #16: Commit 9db64cb pushed by pavpanchekha
1m 1s main
main
1m 1s
Merge pull request #131 from reporterfredbriggs/main CI #285: Commit 9d8b9d3 pushed by pavpanchekha
15m 34s main
main
15m 34s
Merge pull request #131 from reporterfredbriggs/main Deploy benchmark web pages #15: Commit 9d8b9d3 pushed by pavpanchekha
1m 16s main
main
1m 16s
Merge pull request #142 from FPBench/fix-sollya CI #284: Commit 494219a pushed by pavpanchekha
13m 7s main
main
13m 7s
Merge pull request #142 from FPBench/fix-sollya Deploy benchmark web pages #14: Commit 494219a pushed by pavpanchekha
1m 1s main
main
1m 1s
Fix test-export.out.txt CI #283: Commit 8b797e9 pushed by pavpanchekha
12m 34s fix-sollya
fix-sollya
12m 34s
Merge branch 'upgrade-ocaml' into fix-sollya CI #282: Commit 3eb55a0 pushed by pavpanchekha
12m 57s fix-sollya
fix-sollya
12m 57s
This somehow fixes Sollya, no I don't know how either CI #281: Commit fc4b94a pushed by pavpanchekha
12m 29s fix-sollya
fix-sollya
12m 29s
Merge pull request #140 from FPBench/upgrade-ocaml CI #280: Commit a5d817a pushed by pavpanchekha
15m 36s main
main
15m 36s