Skip to content

Actions: mit-plv/bedrock2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
486 workflow runs
486 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Crit-Bit Iterators and 64-bit Compatibility Dependabot Automerge #28: Pull request #429 opened by vfukala
August 10, 2024 15:25 2s vfukala:iterators
vfukala:iterators
August 10, 2024 15:25 2s
Crit-Bit Iterators and 64-bit Compatibility Coq #1380: Pull request #429 opened by vfukala
August 10, 2024 15:25 1h 47m 44s vfukala:iterators
vfukala:iterators
August 10, 2024 15:25 1h 47m 44s
Bump deps/coqutil from c1caa08 to 0833256 Dependabot Automerge #23: Pull request #428 opened by dependabot bot
August 8, 2024 05:34 11s dependabot/submodules/deps/coqutil-0833256
dependabot/submodules/deps/coqutil-0833256
August 8, 2024 05:34 11s
Bump deps/coqutil from c1caa08 to 0833256 Coq #1375: Pull request #428 opened by dependabot bot
August 8, 2024 05:34 1h 28m 29s dependabot/submodules/deps/coqutil-0833256
dependabot/submodules/deps/coqutil-0833256
August 8, 2024 05:34 1h 28m 29s
compiler metrics Dependabot Automerge #22: Pull request #425 synchronize by tckmn
July 31, 2024 20:25 3s tckmn:compilermetrics
tckmn:compilermetrics
July 31, 2024 20:25 3s
compiler metrics Coq #1374: Pull request #425 synchronize by tckmn
July 31, 2024 20:25 1h 20m 11s tckmn:compilermetrics
tckmn:compilermetrics
July 31, 2024 20:25 1h 20m 11s
Start CI 15min earlier (#427) Coq #1369: Commit 2223b2a pushed by andres-erbsen
July 16, 2024 16:24 1h 26m 56s master
master
July 16, 2024 16:24 1h 26m 56s
Schedule submodule-update CI 15min earlier Dependabot Automerge #17: Pull request #427 opened by andres-erbsen
July 16, 2024 15:00 2s fudge-submodule-cron
fudge-submodule-cron
July 16, 2024 15:00 2s
Schedule submodule-update CI 15min earlier Coq #1368: Pull request #427 opened by andres-erbsen
July 16, 2024 15:00 1h 23m 30s fudge-submodule-cron
fudge-submodule-cron
July 16, 2024 15:00 1h 23m 30s
Bump deps/coqutil from 126561c to c1caa08 Dependabot Automerge #16: Pull request #426 opened by dependabot bot
July 15, 2024 06:42 12s dependabot/submodules/deps/coqutil-c1caa08
dependabot/submodules/deps/coqutil-c1caa08
July 15, 2024 06:42 12s
Bump deps/coqutil from 126561c to c1caa08 Coq #1367: Pull request #426 opened by dependabot bot
July 15, 2024 06:42 1h 21m 18s dependabot/submodules/deps/coqutil-c1caa08
dependabot/submodules/deps/coqutil-c1caa08
July 15, 2024 06:42 1h 21m 18s
compiler metrics Dependabot Automerge #13: Pull request #425 synchronize by pratapsingh1729
July 8, 2024 21:17 2s tckmn:compilermetrics
tckmn:compilermetrics
July 8, 2024 21:17 2s
compiler metrics Coq #1364: Pull request #425 synchronize by pratapsingh1729
July 8, 2024 21:17 29m 0s tckmn:compilermetrics
tckmn:compilermetrics
July 8, 2024 21:17 29m 0s
compiler metrics Coq #1363: Pull request #425 synchronize by pratapsingh1729
July 8, 2024 21:14 24m 9s tckmn:compilermetrics
tckmn:compilermetrics
July 8, 2024 21:14 24m 9s
compiler metrics Dependabot Automerge #12: Pull request #425 synchronize by pratapsingh1729
July 8, 2024 21:14 2s tckmn:compilermetrics
tckmn:compilermetrics
July 8, 2024 21:14 2s
bottom_up_simpl: List.repeatz_singleton_l/r Coq #1362: Commit cdf3a6f pushed by samuelgruetter
July 3, 2024 18:04 1h 22m 1s master
master
July 3, 2024 18:04 1h 22m 1s
compiler metrics Dependabot Automerge #11: Pull request #425 synchronize by samuelgruetter
June 22, 2024 07:10 2s tckmn:compilermetrics
tckmn:compilermetrics
June 22, 2024 07:10 2s
compiler metrics Coq #1361: Pull request #425 synchronize by samuelgruetter
June 22, 2024 07:10 11m 53s tckmn:compilermetrics
tckmn:compilermetrics
June 22, 2024 07:10 11m 53s
compiler metrics Dependabot Automerge #10: Pull request #425 synchronize by tckmn
June 21, 2024 22:40 2s tckmn:compilermetrics
tckmn:compilermetrics
June 21, 2024 22:40 2s
compiler metrics Coq #1360: Pull request #425 synchronize by tckmn
June 21, 2024 22:40 11m 36s tckmn:compilermetrics
tckmn:compilermetrics
June 21, 2024 22:40 11m 36s
support functions that don't use the heap Coq #1358: Commit 6fcb247 pushed by samuelgruetter
June 10, 2024 22:07 1h 27m 16s master
master
June 10, 2024 22:07 1h 27m 16s
Adapt to https://github.com/coq/coq/pull/19149 (#424) Coq #1357: Commit 3fe0e22 pushed by samuelgruetter
June 10, 2024 15:03 1h 25m 50s master
master
June 10, 2024 15:03 1h 25m 50s
Adapt to https://github.com/coq/coq/pull/19149 Coq #1356: Pull request #424 opened by proux01
June 10, 2024 06:32 1h 20m 36s proux01:coq_19149
proux01:coq_19149
June 10, 2024 06:32 1h 20m 36s
Adapt to https://github.com/coq/coq/pull/19149 Dependabot Automerge #8: Pull request #424 opened by proux01
June 10, 2024 06:32 2s proux01:coq_19149
proux01:coq_19149
June 10, 2024 06:32 2s
Bump deps/coqutil from f12ff02 to 126561c Coq #1355: Pull request #423 opened by dependabot bot
June 6, 2024 06:16 1h 22m 13s dependabot/submodules/deps/coqutil-126561c
dependabot/submodules/deps/coqutil-126561c
June 6, 2024 06:16 1h 22m 13s