Skip to content

Actions: toku-sa-n/coqfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,036 workflow run results
1,036 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More pp Test #940: Commit 2e3c4f2 pushed by toku-sa-n
August 12, 2023 00:27 25m 43s nested-destruct
nested-destruct
August 12, 2023 00:27 25m 43s
Pp nested destructs Test #939: Pull request #88 synchronize by toku-sa-n
August 12, 2023 00:12 32m 54s nested-destruct
nested-destruct
August 12, 2023 00:12 32m 54s
Add a comment Test #938: Commit a28c201 pushed by toku-sa-n
August 12, 2023 00:12 33m 57s nested-destruct
nested-destruct
August 12, 2023 00:12 33m 57s
Pp nested destructs Test #937: Pull request #88 synchronize by toku-sa-n
August 12, 2023 00:10 23m 25s nested-destruct
nested-destruct
August 12, 2023 00:10 23m 25s
Printer has a bullet stack Test #936: Commit 4f2a82b pushed by toku-sa-n
August 12, 2023 00:10 23m 29s nested-destruct
nested-destruct
August 12, 2023 00:10 23m 29s
Pp nested destructs Test #935: Pull request #88 synchronize by toku-sa-n
August 11, 2023 13:41 29m 57s nested-destruct
nested-destruct
August 11, 2023 13:41 29m 57s
Pass the test Test #934: Commit 5dd4dc5 pushed by toku-sa-n
August 11, 2023 13:41 23m 36s nested-destruct
nested-destruct
August 11, 2023 13:41 23m 36s
Pp nested destructs Test #933: Pull request #88 synchronize by toku-sa-n
August 11, 2023 13:30 22m 39s nested-destruct
nested-destruct
August 11, 2023 13:30 22m 39s
Merge branch 'main' into nested-destruct Test #932: Commit 3ddc2d7 pushed by toku-sa-n
August 11, 2023 13:30 23m 47s nested-destruct
nested-destruct
August 11, 2023 13:30 23m 47s
Pp a destruct ... eqn (#87) Test #931: Commit 0cb8f19 pushed by toku-sa-n
August 11, 2023 13:27 27m 39s main
main
August 11, 2023 13:27 27m 39s
Pp nested destructs Test #930: Pull request #88 opened by toku-sa-n
August 11, 2023 12:31 56m 37s nested-destruct
nested-destruct
August 11, 2023 12:31 56m 37s
Add a test Test #929: Commit 23b0775 pushed by toku-sa-n
August 11, 2023 12:31 48m 15s nested-destruct
nested-destruct
August 11, 2023 12:31 48m 15s
Pp a destruct ... eqn Test #928: Pull request #87 synchronize by toku-sa-n
August 11, 2023 12:05 1h 22m 22s destruct-eqn
destruct-eqn
August 11, 2023 12:05 1h 22m 22s
Merge branches Test #927: Commit 44f5f42 pushed by toku-sa-n
August 11, 2023 12:05 59m 55s destruct-eqn
destruct-eqn
August 11, 2023 12:05 59m 55s
Pp a destruct ... eqn Test #926: Pull request #87 synchronize by toku-sa-n
August 11, 2023 12:03 1h 0m 23s destruct-eqn
destruct-eqn
August 11, 2023 12:03 1h 0m 23s
Replace a wildcard Test #925: Commit 78b62bc pushed by toku-sa-n
August 11, 2023 12:03 59m 0s destruct-eqn
destruct-eqn
August 11, 2023 12:03 59m 0s
Pp a destruct ... eqn Test #924: Pull request #87 synchronize by toku-sa-n
August 11, 2023 11:59 55m 45s destruct-eqn
destruct-eqn
August 11, 2023 11:59 55m 45s
Replace a wildcard Test #923: Commit a1b921b pushed by toku-sa-n
August 11, 2023 11:59 42m 5s destruct-eqn
destruct-eqn
August 11, 2023 11:59 42m 5s
Pp a destruct ... eqn Test #922: Pull request #87 synchronize by toku-sa-n
August 11, 2023 11:59 40m 35s destruct-eqn
destruct-eqn
August 11, 2023 11:59 40m 35s
Replace a wildcard Test #921: Commit 3e150bd pushed by toku-sa-n
August 11, 2023 11:59 40m 36s destruct-eqn
destruct-eqn
August 11, 2023 11:59 40m 36s
Pp a destruct ... eqn Test #920: Pull request #87 synchronize by toku-sa-n
August 11, 2023 11:58 48m 26s destruct-eqn
destruct-eqn
August 11, 2023 11:58 48m 26s
Replace a wildcard Test #919: Commit 88082da pushed by toku-sa-n
August 11, 2023 11:58 25m 0s destruct-eqn
destruct-eqn
August 11, 2023 11:58 25m 0s
Pp a destruct ... eqn Test #918: Pull request #87 synchronize by toku-sa-n
August 11, 2023 11:55 28m 59s destruct-eqn
destruct-eqn
August 11, 2023 11:55 28m 59s
Pass the test Test #917: Commit 722d222 pushed by toku-sa-n
August 11, 2023 11:55 30m 17s destruct-eqn
destruct-eqn
August 11, 2023 11:55 30m 17s
Pp a destruct ... eqn Test #916: Pull request #87 opened by toku-sa-n
August 11, 2023 11:50 30m 58s destruct-eqn
destruct-eqn
August 11, 2023 11:50 30m 58s