Skip to content

Actions: mit-plv/rupicola

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adapt to coq/coq#17937 Coq #592: Commit 1c6bef7 pushed by andres-erbsen
August 24, 2023 21:19 4m 49s master
master
August 24, 2023 21:19 4m 49s
adapt to coq/coq#17937 Coq #591: Pull request #86 opened by andres-erbsen
August 24, 2023 21:08 5m 4s andres-erbsen:coq-17937
andres-erbsen:coq-17937
August 24, 2023 21:08 5m 4s
add 8.17 to CI Coq #590: Commit 1ba5c2e pushed by samuelgruetter
August 17, 2023 17:05 6m 27s master
master
August 17, 2023 17:05 6m 27s
Merge pull request #84 from samuelgruetter/bedrock2_wp_is_exec Coq #589: Commit 3cd33c8 pushed by samuelgruetter
August 14, 2023 19:41 4m 34s master
master
August 14, 2023 19:41 4m 34s
update to a bedrock2 where wp is complete wrt exec Coq #588: Pull request #84 synchronize by samuelgruetter
August 14, 2023 19:03 5m 10s samuelgruetter:bedrock2_wp_is_exec
samuelgruetter:bedrock2_wp_is_exec
August 14, 2023 19:03 5m 10s
update to a bedrock2 where wp is complete wrt exec Coq #587: Pull request #84 synchronize by samuelgruetter
August 11, 2023 17:51 8m 13s samuelgruetter:bedrock2_wp_is_exec
samuelgruetter:bedrock2_wp_is_exec
August 11, 2023 17:51 8m 13s
update to a bedrock2 where wp is complete wrt exec Coq #586: Pull request #84 synchronize by samuelgruetter
August 11, 2023 17:44 4m 37s samuelgruetter:bedrock2_wp_is_exec
samuelgruetter:bedrock2_wp_is_exec
August 11, 2023 17:44 4m 37s
Wp is really exec Coq #585: Pull request #85 opened by samuelgruetter
August 6, 2023 22:45 2m 41s wp_is_really_exec
wp_is_really_exec
August 6, 2023 22:45 2m 41s
wip updating to bedrock2 where WeakestPrecondition.cmd is exec Coq #584: Commit 63445f8 pushed by samuelgruetter
August 6, 2023 22:34 2m 38s wp_is_really_exec
wp_is_really_exec
August 6, 2023 22:34 2m 38s
update to a bedrock2 where wp is complete wrt exec Coq #583: Pull request #84 synchronize by samuelgruetter
August 6, 2023 17:45 4m 16s samuelgruetter:bedrock2_wp_is_exec
samuelgruetter:bedrock2_wp_is_exec
August 6, 2023 17:45 4m 16s
update to a bedrock2 where wp is complete wrt exec Coq #582: Pull request #84 synchronize by samuelgruetter
August 4, 2023 17:39 5m 38s samuelgruetter:bedrock2_wp_is_exec
samuelgruetter:bedrock2_wp_is_exec
August 4, 2023 17:39 5m 38s