Skip to content

Actions: CertiRocq/certirocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
243 workflow runs
243 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
Verified LambdaANF-to-VIR (LLVM IR) native backend Nix CI for bundle default #139: Pull request #155 opened by spitters
28m 40s
28m 40s
Use rocq c across test makefiles Compile and test #550: Commit 59f1103 pushed by mattam82
1h 6m 42s master
master
1h 6m 42s
Use rocq c across test makefiles Nix CI for bundle default #138: Commit 59f1103 pushed by mattam82
1h 2m 17s master
master
1h 2m 17s
coind_to_ind doesn't need has_box Nix CI for bundle default #137: Commit 45a1950 pushed by mattam82
1h 2m 13s main
main
1h 2m 13s
Merge pull request #153 from mattam82/remove-box-rules Nix CI for bundle default #136: Commit 92f7fe4 pushed by mattam82
3m 9s main
main
3m 9s
Remove box evaluation rule (EImplementBox runs before CertiRocq now) Compile and test #549: Pull request #153 opened by mattam82
23m 59s mattam82:remove-box-rules
mattam82:remove-box-rules
23m 59s
Remove box evaluation rule (EImplementBox runs before CertiRocq now) Nix CI for bundle default #135: Pull request #153 opened by mattam82
28m 26s
28m 26s
Merge pull request #152 from mattam82/metarocq-full-pipeline Nix CI for bundle default #134: Commit 337e46c pushed by mattam82
3m 24s main
main
3m 24s
Metarocq full pipeline Compile and test #548: Pull request #152 opened by mattam82
23m 12s mattam82:metarocq-full-pipeline
mattam82:metarocq-full-pipeline
23m 12s
Metarocq full pipeline Nix CI for bundle default #133: Pull request #152 opened by mattam82
1h 2m 3s mattam82:metarocq-full-pipeline
mattam82:metarocq-full-pipeline
1h 2m 3s
Metarocq full pipeline Nix CI for bundle default #132: Pull request #152 opened by mattam82
1h 3m 36s
1h 3m 36s
Register inlined constants Nix CI for bundle default #131: Pull request #151 opened by mattam82
1h 3m 38s mattam82:register-inlined
mattam82:register-inlined
1h 3m 38s
Register inlined constants Compile and test #547: Pull request #151 opened by mattam82
22m 42s mattam82:register-inlined
mattam82:register-inlined
22m 42s
Register inlined constants Nix CI for bundle default #130: Pull request #151 opened by mattam82
1h 3m 12s
1h 3m 12s
Adapt to MetaRocq PR #1272 Compile and test #546: Pull request #150 opened by mattam82
24m 5s mattam82:verified-inlining
mattam82:verified-inlining
24m 5s
Adapt to MetaRocq PR #1272 Nix CI for bundle default #129: Pull request #150 opened by mattam82
28m 4s
28m 4s
Merge pull request #144 from womeier/master Nix CI for bundle default #128: Commit 94f9a7a pushed by zoep
3m 27s master
master
3m 27s
Merge pull request #144 from womeier/master Compile and test #545: Commit 94f9a7a pushed by zoep
44m 36s master
master
44m 36s
Factor shared CertiRocq plugin infrastructure Compile and test #544: Pull request #149 synchronize by zoep
1h 2m 2s codex/certirocq-command-cleanup
codex/certirocq-command-cleanup
1h 2m 2s
Factor shared CertiRocq plugin infrastructure Nix CI for bundle default #127: Pull request #149 synchronize by zoep
29m 20s
29m 20s
Factor shared CertiRocq plugin infrastructure Compile and test #543: Pull request #149 synchronize by zoep
59m 0s codex/certirocq-command-cleanup
codex/certirocq-command-cleanup
59m 0s
Factor shared CertiRocq plugin infrastructure Nix CI for bundle default #126: Pull request #149 synchronize by zoep
28m 21s
28m 21s
Factor shared CertiRocq plugin infrastructure Compile and test #542: Pull request #149 synchronize by zoep
26m 6s codex/certirocq-command-cleanup
codex/certirocq-command-cleanup
26m 6s
Factor shared CertiRocq plugin infrastructure Nix CI for bundle default #125: Pull request #149 synchronize by zoep
26m 9s
26m 9s
Factor shared CertiRocq plugin infrastructure Compile and test #541: Pull request #149 synchronize by zoep
23m 4s codex/certirocq-command-cleanup
codex/certirocq-command-cleanup
23m 4s