Skip to content

Actions: mit-plv/rewriter

Actions

CI (Coq, opam)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-opam-package.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI (Coq, opam) CI (Coq, opam) #5: Scheduled
February 1, 2025 01:16 6h 31m 39s master
master
February 1, 2025 01:16 6h 31m 39s
Better timer (fix build on mac) CI (Coq, opam) #4: Commit 1e17dcd pushed by JasonGross
January 29, 2025 01:50 6h 0m 27s master
master
January 29, 2025 01:50 6h 0m 27s
Work around issue with -I CI (Coq, opam) #3: Commit 3c0618f pushed by JasonGross
January 29, 2025 01:19 6h 0m 25s master
master
January 29, 2025 01:19 6h 0m 25s
Don't build .vo files when EXTERNAL_PERF_DEPENDENCIES=1 CI (Coq, opam) #2: Commit ca0eed1 pushed by JasonGross
January 28, 2025 20:28 1h 2m 17s master
master
January 28, 2025 20:28 1h 2m 17s
[CI] also test opam packages, including perf CI (Coq, opam) #1: Commit ef98e7d pushed by JasonGross
January 28, 2025 20:22 56m 27s master
master
January 28, 2025 20:22 56m 27s