Skip to content

Actions: leanprover-community/con-nf

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
25 workflow run results
25 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ordered supports .github/workflows/push_pr.yml #135: Pull request #45 synchronize by zeramorphic
December 14, 2023 23:22 2m 31s support-refactor
support-refactor
December 14, 2023 23:22 2m 31s
Ordered supports .github/workflows/push_pr.yml #134: Pull request #45 opened by zeramorphic
December 14, 2023 22:51 1m 34s support-refactor
support-refactor
December 14, 2023 22:51 1m 34s
Remove BasePositions .github/workflows/push_pr.yml #133: Pull request #44 synchronize by zeramorphic
December 13, 2023 15:59 2m 39s remove-base-positions
remove-base-positions
December 13, 2023 15:59 2m 39s
Remove BasePositions .github/workflows/push_pr.yml #132: Pull request #44 synchronize by zeramorphic
December 13, 2023 15:25 2m 36s remove-base-positions
remove-base-positions
December 13, 2023 15:25 2m 36s
Remove BasePositions .github/workflows/push_pr.yml #131: Pull request #44 synchronize by zeramorphic
December 13, 2023 13:19 2m 36s remove-base-positions
remove-base-positions
December 13, 2023 13:19 2m 36s
Remove BasePositions .github/workflows/push_pr.yml #130: Pull request #44 synchronize by zeramorphic
December 13, 2023 12:15 2m 33s remove-base-positions
remove-base-positions
December 13, 2023 12:15 2m 33s
Remove BasePositions .github/workflows/push_pr.yml #129: Pull request #44 opened by zeramorphic
December 13, 2023 12:10 2m 6s remove-base-positions
remove-base-positions
December 13, 2023 12:10 2m 6s
Remove Iio and Iic .github/workflows/push_pr.yml #128: Pull request #43 synchronize by zeramorphic
December 11, 2023 12:15 2m 52s iio-iic-refactor
iio-iic-refactor
December 11, 2023 12:15 2m 52s
Remove Iio and Iic .github/workflows/push_pr.yml #127: Pull request #43 synchronize by zeramorphic
December 11, 2023 11:46 2m 47s iio-iic-refactor
iio-iic-refactor
December 11, 2023 11:46 2m 47s
Remove Iio and Iic .github/workflows/push_pr.yml #126: Pull request #43 synchronize by zeramorphic
December 11, 2023 11:18 2m 39s iio-iic-refactor
iio-iic-refactor
December 11, 2023 11:18 2m 39s
Remove Iio and Iic .github/workflows/push_pr.yml #125: Pull request #43 synchronize by zeramorphic
December 10, 2023 20:23 4m 4s iio-iic-refactor
iio-iic-refactor
December 10, 2023 20:23 4m 4s
Remove Iio and Iic .github/workflows/push_pr.yml #124: Pull request #43 synchronize by zeramorphic
December 10, 2023 18:56 2m 23s iio-iic-refactor
iio-iic-refactor
December 10, 2023 18:56 2m 23s
Remove Iio and Iic .github/workflows/push_pr.yml #123: Pull request #43 synchronize by zeramorphic
December 10, 2023 18:42 2m 17s iio-iic-refactor
iio-iic-refactor
December 10, 2023 18:42 2m 17s
Remove Iio and Iic .github/workflows/push_pr.yml #122: Pull request #43 synchronize by zeramorphic
December 10, 2023 18:36 2m 32s iio-iic-refactor
iio-iic-refactor
December 10, 2023 18:36 2m 32s
Remove Iio and Iic .github/workflows/push_pr.yml #121: Pull request #43 synchronize by zeramorphic
December 10, 2023 18:34 2m 0s iio-iic-refactor
iio-iic-refactor
December 10, 2023 18:34 2m 0s
Remove Iio and Iic .github/workflows/push_pr.yml #120: Pull request #43 synchronize by zeramorphic
December 10, 2023 18:18 2m 11s iio-iic-refactor
iio-iic-refactor
December 10, 2023 18:18 2m 11s
Remove Iio and Iic .github/workflows/push_pr.yml #119: Pull request #43 synchronize by zeramorphic
December 10, 2023 18:14 2m 18s iio-iic-refactor
iio-iic-refactor
December 10, 2023 18:14 2m 18s
Remove Iio and Iic .github/workflows/push_pr.yml #118: Pull request #43 synchronize by zeramorphic
December 10, 2023 17:42 1m 55s iio-iic-refactor
iio-iic-refactor
December 10, 2023 17:42 1m 55s
Remove Iio and Iic .github/workflows/push_pr.yml #117: Pull request #43 synchronize by zeramorphic
December 9, 2023 22:22 2m 45s iio-iic-refactor
iio-iic-refactor
December 9, 2023 22:22 2m 45s
Remove Iio and Iic .github/workflows/push_pr.yml #116: Pull request #43 synchronize by zeramorphic
December 9, 2023 21:32 2m 44s iio-iic-refactor
iio-iic-refactor
December 9, 2023 21:32 2m 44s
Remove Iio and Iic .github/workflows/push_pr.yml #115: Pull request #43 synchronize by zeramorphic
December 9, 2023 20:22 2m 45s iio-iic-refactor
iio-iic-refactor
December 9, 2023 20:22 2m 45s
Remove Iio and Iic .github/workflows/push_pr.yml #114: Pull request #43 synchronize by zeramorphic
December 9, 2023 19:44 2m 42s iio-iic-refactor
iio-iic-refactor
December 9, 2023 19:44 2m 42s
Remove Iio and Iic .github/workflows/push_pr.yml #113: Pull request #43 synchronize by zeramorphic
December 9, 2023 19:36 2m 56s iio-iic-refactor
iio-iic-refactor
December 9, 2023 19:36 2m 56s
Remove Iio and Iic .github/workflows/push_pr.yml #112: Pull request #43 opened by zeramorphic
December 9, 2023 18:29 1m 28s iio-iic-refactor
iio-iic-refactor
December 9, 2023 18:29 1m 28s
Avoid termination_by', use termination_by .github/workflows/push_pr.yml #111: Pull request #42 opened by nomeata
December 8, 2023 08:26 4m 16s joachim/no-termination-by-prime
joachim/no-termination-by-prime
December 8, 2023 08:26 4m 16s