Skip to content

Actions: rems-project/cn

Actions

Rocq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rocq.yml
79 workflow run results
79 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI tweaks Rocq #30: Pull request #109 synchronize by ZippeyKeys12
1m 45s ZippeyKeys12:ci-stuff
ZippeyKeys12:ci-stuff
1m 45s
CI tweaks Rocq #29: Pull request #109 synchronize by ZippeyKeys12
4m 19s ZippeyKeys12:ci-stuff
ZippeyKeys12:ci-stuff
4m 19s
CI tweaks Rocq #28: Pull request #109 synchronize by ZippeyKeys12
4m 8s ZippeyKeys12:ci-stuff
ZippeyKeys12:ci-stuff
4m 8s
CI tweaks Rocq #27: Pull request #109 synchronize by ZippeyKeys12
3m 16s ZippeyKeys12:ci-stuff
ZippeyKeys12:ci-stuff
3m 16s
CI tweaks Rocq #26: Pull request #109 opened by ZippeyKeys12
1m 18s ZippeyKeys12:ci-stuff
ZippeyKeys12:ci-stuff
1m 18s
[CN-Exec] Do not inject synthesized terms (#84) Rocq #25: Commit c67c26d pushed by ZippeyKeys12
21m 3s main
main
21m 3s
[CN-Exec] Do not inject synthesized terms Rocq #24: Pull request #108 opened by ZippeyKeys12
21m 3s ZippeyKeys12:gus/prefixops
ZippeyKeys12:gus/prefixops
21m 3s
Instrument after preproc 2 Rocq #23: Pull request #82 synchronize by peterohanley-galois
21m 10s GaloisInc:instrument-after-preproc-2
GaloisInc:instrument-after-preproc-2
21m 10s
Handle a seq-test file compilation failure Rocq #21: Pull request #107 opened by peterohanley-galois
21m 9s GaloisInc:gus/seq-variants
GaloisInc:gus/seq-variants
21m 9s
Use size_t instead of sint for offsetof Rocq #20: Pull request #103 synchronize by dc-mak
20m 47s moratorium08:fix-typing-offsetof
moratorium08:fix-typing-offsetof
20m 47s
Added a Dockerfile and spec for a VSCode dev container for CN. (#56) Rocq #19: Commit 4c861f1 pushed by ZippeyKeys12
21m 46s main
main
21m 46s
[CN-Exec] Do not inject synthesized terms Rocq #18: Pull request #84 synchronize by peterohanley-galois
22m 22s GaloisInc:gus/prefixops
GaloisInc:gus/prefixops
22m 22s
Use size_t instead of sint for offsetof Rocq #17: Pull request #103 synchronize by moratorium08
21m 29s moratorium08:fix-typing-offsetof
moratorium08:fix-typing-offsetof
21m 29s
Added a Dockerfile and spec for a VSCode dev container for CN. Rocq #16: Pull request #56 synchronize by aschwerdfeger-galois
21m 24s devcontainer
devcontainer
21m 24s
Fix #56: Use arm runner Rocq #15: Commit 1d99b68 pushed by dc-mak
21m 39s main
main
21m 39s
Use arm runner Rocq #14: Pull request #75 synchronize by dc-mak
21m 42s dc-mak:use-arm-runner
dc-mak:use-arm-runner
21m 42s
Use arm runner Rocq #13: Pull request #75 synchronize by dc-mak
21m 37s dc-mak:use-arm-runner
dc-mak:use-arm-runner
21m 37s
Use arm runner Rocq #12: Pull request #75 synchronize by dc-mak
1m 37s dc-mak:use-arm-runner
dc-mak:use-arm-runner
1m 37s
Use arm runner Rocq #11: Pull request #75 synchronize by dc-mak
5m 49s dc-mak:use-arm-runner
dc-mak:use-arm-runner
5m 49s
Use arm runner Rocq #10: Pull request #75 synchronize by dc-mak
21m 31s dc-mak:use-arm-runner
dc-mak:use-arm-runner
21m 31s
Use arm runner Rocq #9: Pull request #75 synchronize by dc-mak
21m 44s dc-mak:use-arm-runner
dc-mak:use-arm-runner
21m 44s
Use arm runner Rocq #8: Pull request #75 synchronize by dc-mak
13m 58s dc-mak:use-arm-runner
dc-mak:use-arm-runner
13m 58s
Use arm runner Rocq #7: Pull request #75 synchronize by dc-mak
1m 28s dc-mak:use-arm-runner
dc-mak:use-arm-runner
1m 28s
Use arm runner Rocq #6: Pull request #75 synchronize by dc-mak
21m 56s dc-mak:use-arm-runner
dc-mak:use-arm-runner
21m 56s
Use arm runner Rocq #5: Pull request #75 synchronize by dc-mak
5m 47s dc-mak:use-arm-runner
dc-mak:use-arm-runner
5m 47s