Skip to content

Actions: CertiRocq/certirocq

Actions

Compile and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
89 workflow runs
89 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
Merge pull request #148 from CertiRocq/codex/anf-pr-final2 Compile and test #534: Commit ad49d88 pushed by zoep
1h 5m 30s master
master
1h 5m 30s
LambdaBox to LambdaANF Compile and test #533: Pull request #148 synchronize by zoep
1h 3m 42s codex/anf-pr-final2
codex/anf-pr-final2
1h 3m 42s
LambdaBox to LambdaANF Compile and test #532: Pull request #148 synchronize by zoep
1h 8m 10s codex/anf-pr-final2
codex/anf-pr-final2
1h 8m 10s
LambdaBox to LambdaANF Compile and test #531: Pull request #148 synchronize by zoep
1h 7m 44s codex/anf-pr-final2
codex/anf-pr-final2
1h 7m 44s
LambdaBox to LambdaANF Compile and test #530: Pull request #148 synchronize by zoep
51m 21s codex/anf-pr-final2
codex/anf-pr-final2
51m 21s
LambdaBox to LambdaANF Compile and test #529: Pull request #148 synchronize by zoep
23m 54s codex/anf-pr-final2
codex/anf-pr-final2
23m 54s
LambdaBox to LambdaANF Compile and test #528: Pull request #148 synchronize by zoep
2m 19s codex/anf-pr-final2
codex/anf-pr-final2
2m 19s
LambdaBox to LambdaANF Compile and test #527: Pull request #148 synchronize by zoep
2m 50s codex/anf-pr-final2
codex/anf-pr-final2
2m 50s
LambdaBox to LambdaANF Compile and test #526: Pull request #148 opened by zoep
2m 24s codex/anf-pr-final2
codex/anf-pr-final2
2m 24s
LambdaBox to LambdaANF pipeline Compile and test #525: Pull request #147 synchronize by zoep
3m 4s codex/ANF-divergence
codex/ANF-divergence
3m 4s
LambdaBox to LambdaANF pipeline Compile and test #524: Pull request #147 opened by zoep
2m 15s codex/ANF-divergence
codex/ANF-divergence
2m 15s
Merge pull request #146 from CertiRocq/fix-float-codegen Compile and test #523: Commit a8267f7 pushed by mattam82
1h 11m 1s master
master
1h 11m 1s
Fix code generation for floats, removing an Admitted proof Compile and test #522: Pull request #146 synchronize by mattam82
1h 7m 47s fix-float-codegen
fix-float-codegen
1h 7m 47s
Merge pull request #145 from rassmike/testing-rocq Compile and test #521: Commit e37f8ce pushed by mattam82
1h 8m 28s master
master
1h 8m 28s
Fix code generation for floats, removing an Admitted proof Compile and test #520: Commit aaa9b87 pushed by mattam82
41m 51s master
master
41m 51s
Fix code generation for floats, removing an Admitted proof Compile and test #519: Pull request #146 opened by mattam82
1h 8m 10s fix-float-codegen
fix-float-codegen
1h 8m 10s
Merge pull request #145 from rassmike/testing-rocq Compile and test #518: Commit e37f8ce pushed by mattam82
1h 10m 33s master
master
1h 10m 33s
Refactor benchmarks into tests Compile and test #516: Pull request #145 synchronize by rassmike
1h 8m 5s rassmike:testing-rocq
rassmike:testing-rocq
1h 8m 5s
Merge pull request #144 from womeier/master Compile and test #515: Commit 94f9a7a pushed by mattam82
45m 11s master
master
45m 11s
Refactor benchmarks into tests Compile and test #514: Pull request #145 opened by rassmike
1h 6m 26s rassmike:testing-rocq
rassmike:testing-rocq
1h 6m 26s
Fix broken links in README Compile and test #513: Pull request #144 opened by womeier
42m 49s womeier:master
womeier:master
42m 49s
ANF Transformation Correctness Proof (#143) Compile and test #512: Commit 2253b4e pushed by zoep
42m 6s master
master
42m 6s
ANF Transformation Correctness Proof Compile and test #511: Pull request #143 synchronize by zoep
43m 10s anf-experiment
anf-experiment
43m 10s
ANF Transformation Correctness Proof Compile and test #510: Pull request #143 synchronize by zoep
15m 28s anf-experiment
anf-experiment
15m 28s
ANF Transformation Correctness Proof Compile and test #509: Pull request #143 opened by zoep
7m 14s anf-experiment
anf-experiment
7m 14s