Skip to content

Actions: CertiCoq/certicoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use new CI image avoiding opam updates Compile and bench #378: Pull request #97 synchronize by yforster
May 28, 2024 14:46 36m 6s yforster:update-ci
yforster:update-ci
May 28, 2024 14:46 36m 6s
Merge pull request #95 from CertiCoq/coq8.19 Compile and bench #377: Commit 5685b3d pushed by mattam82
May 28, 2024 11:51 1h 16m 36s master
master
May 28, 2024 11:51 1h 16m 36s
Coq 8.19 compatibility Compile and bench #376: Pull request #95 synchronize by andrew-appel
May 24, 2024 10:07 1h 16m 1s coq8.19
coq8.19
May 24, 2024 10:07 1h 16m 1s
Coq 8.19 compatibility Compile and bench #375: Pull request #95 synchronize by andrew-appel
April 1, 2024 18:02 35m 42s coq8.19
coq8.19
April 1, 2024 18:02 35m 42s
Backport 8.19 to 8.18 branch, some ML-side incompatibilities Compile and bench #374: Commit 3f08129 pushed by mattam82
March 28, 2024 09:27 37m 13s coq-8.18
coq-8.18
March 28, 2024 09:27 37m 13s
Update build.yml and opam file for 8.18 Compile and bench #373: Commit 04f6bd4 pushed by mattam82
March 28, 2024 09:26 3m 2s coq-8.18
coq-8.18
March 28, 2024 09:26 3m 2s
Coq 8.19 compatibility Compile and bench #372: Pull request #95 synchronize by mattam82
March 27, 2024 13:49 37m 10s coq8.19
coq8.19
March 27, 2024 13:49 37m 10s
Coq 8.19 compatibility Compile and bench #371: Pull request #95 synchronize by mattam82
March 27, 2024 13:32 36m 9s coq8.19
coq8.19
March 27, 2024 13:32 36m 9s
Coq 8.19 compatibility Compile and bench #370: Pull request #95 synchronize by mattam82
March 26, 2024 22:23 31m 10s coq8.19
coq8.19
March 26, 2024 22:23 31m 10s
Coq 8.19 compatibility Compile and bench #369: Pull request #95 synchronize by andrew-appel
March 26, 2024 18:43 30m 54s coq8.19
coq8.19
March 26, 2024 18:43 30m 54s
Coq 8.19 compatibility Compile and bench #368: Pull request #95 synchronize by andrew-appel
March 26, 2024 18:25 32m 20s coq8.19
coq8.19
March 26, 2024 18:25 32m 20s
Coq 8.19 compatibility Compile and bench #367: Pull request #95 synchronize by mattam82
March 26, 2024 12:38 36m 8s coq8.19
coq8.19
March 26, 2024 12:38 36m 8s
Coq 8.19 compatibility Compile and bench #366: Pull request #95 synchronize by andrew-appel
March 25, 2024 13:18 2m 13s coq8.19
coq8.19
March 25, 2024 13:18 2m 13s
Coq 8.19 compatibility Compile and bench #365: Pull request #95 opened by andrew-appel
March 22, 2024 17:54 2m 15s coq8.19
coq8.19
March 22, 2024 17:54 2m 15s
Implement a more clever copy function preserving sharing. Add No_scan… Compile and bench #364: Pull request #94 opened by mattam82
March 15, 2024 16:32 40m 28s copy-value-sharing
copy-value-sharing
March 15, 2024 16:32 40m 28s
Merge pull request #93 from CertiCoq/metacoq-bump Compile and bench #363: Commit 7f3785a pushed by mattam82
March 15, 2024 12:30 42m 6s master
master
March 15, 2024 12:30 42m 6s
Metacoq bump Compile and bench #362: Pull request #93 synchronize by mattam82
March 15, 2024 11:15 41m 41s metacoq-bump
metacoq-bump
March 15, 2024 11:15 41m 41s
Metacoq bump Compile and bench #361: Pull request #93 synchronize by mattam82
March 14, 2024 17:00 41m 35s metacoq-bump
metacoq-bump
March 14, 2024 17:00 41m 35s
Metacoq bump Compile and bench #360: Pull request #93 synchronize by mattam82
March 14, 2024 16:21 36m 10s metacoq-bump
metacoq-bump
March 14, 2024 16:21 36m 10s
Metacoq bump Compile and bench #359: Pull request #93 synchronize by mattam82
March 14, 2024 06:41 44m 13s metacoq-bump
metacoq-bump
March 14, 2024 06:41 44m 13s
Metacoq bump Compile and bench #358: Pull request #93 synchronize by mattam82
March 13, 2024 23:03 35m 6s metacoq-bump
metacoq-bump
March 13, 2024 23:03 35m 6s
Metacoq bump Compile and bench #357: Pull request #93 synchronize by mattam82
March 13, 2024 18:59 35m 44s metacoq-bump
metacoq-bump
March 13, 2024 18:59 35m 44s
Metacoq bump Compile and bench #356: Pull request #93 synchronize by mattam82
March 13, 2024 13:37 34m 39s metacoq-bump
metacoq-bump
March 13, 2024 13:37 34m 39s
Metacoq bump Compile and bench #355: Pull request #93 synchronize by mattam82
March 13, 2024 13:35 34m 11s metacoq-bump
metacoq-bump
March 13, 2024 13:35 34m 11s
Metacoq bump Compile and bench #354: Pull request #93 synchronize by mattam82
March 11, 2024 14:14 34m 54s metacoq-bump
metacoq-bump
March 11, 2024 14:14 34m 54s