Skip to content

Actions: mhk119/std4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #12: completed by mhk119
February 14, 2024 00:13 3s
February 14, 2024 00:13 3s
Merge branch 'main' into bitneg ci #12: Commit d4fe4d9 pushed by mhk119
February 14, 2024 00:12 1m 13s bitneg
bitneg
February 14, 2024 00:12 1m 13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #11: completed by mhk119
January 29, 2024 11:37 2s
January 29, 2024 11:37 2s
suggested changes ci #11: Commit c7db2a7 pushed by mhk119
January 29, 2024 11:35 2m 21s bitneg
bitneg
January 29, 2024 11:35 2m 21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #10: completed by mhk119
January 26, 2024 07:55 2s
January 26, 2024 07:55 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by mhk119
January 26, 2024 07:54 3s
January 26, 2024 07:54 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by mhk119
January 26, 2024 07:54 2s
January 26, 2024 07:54 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by mhk119
January 26, 2024 07:54 2s
January 26, 2024 07:54 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by mhk119
January 26, 2024 07:54 2s
January 26, 2024 07:54 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by mhk119
January 26, 2024 07:54 3s
January 26, 2024 07:54 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by mhk119
January 26, 2024 07:53 2s
January 26, 2024 07:53 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by mhk119
January 26, 2024 07:53 2s
January 26, 2024 07:53 2s
Update Std/Data/BitVec/Bitblast.lean ci #10: Commit 6b81d4f pushed by mhk119
January 26, 2024 07:53 1m 51s bitneg
bitneg
January 26, 2024 07:53 1m 51s
Update Std/Data/BitVec/Lemmas.lean ci #9: Commit 4c47a1f pushed by mhk119
January 26, 2024 07:52 1m 51s bitneg
bitneg
January 26, 2024 07:52 1m 51s
Update Std/Data/BitVec/Lemmas.lean ci #8: Commit 6853e2c pushed by mhk119
January 26, 2024 07:52 1m 51s bitneg
bitneg
January 26, 2024 07:52 1m 51s
Update Std/Data/BitVec/Lemmas.lean ci #7: Commit 167e3b2 pushed by mhk119
January 26, 2024 07:52 1m 50s bitneg
bitneg
January 26, 2024 07:52 1m 50s
Update Std/Data/BitVec/Lemmas.lean ci #6: Commit e1f3172 pushed by mhk119
January 26, 2024 07:51 2m 21s bitneg
bitneg
January 26, 2024 07:51 2m 21s
Update Std/Data/BitVec/Lemmas.lean ci #5: Commit 3fcf22a pushed by mhk119
January 26, 2024 07:51 2m 19s bitneg
bitneg
January 26, 2024 07:51 2m 19s
Update Std/Data/BitVec/Lemmas.lean ci #4: Commit 850dbc8 pushed by mhk119
January 26, 2024 07:51 2m 21s bitneg
bitneg
January 26, 2024 07:51 2m 21s
Update Std/Data/BitVec/Lemmas.lean ci #3: Commit 5eaddef pushed by mhk119
January 26, 2024 07:51 2m 27s bitneg
bitneg
January 26, 2024 07:51 2m 27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by mhk119
January 25, 2024 23:31 3s
January 25, 2024 23:31 3s
changes ci #2: Commit 6c16f40 pushed by mhk119
January 25, 2024 23:28 2m 24s bitneg
bitneg
January 25, 2024 23:28 2m 24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by mhk119
January 25, 2024 23:26 3s
January 25, 2024 23:26 3s
mega progress ci #1: Commit 5c2fd0a pushed by mhk119
January 25, 2024 23:24 1m 53s bitneg
bitneg
January 25, 2024 23:24 1m 53s