Skip to content

Actions: saurabhchalke/halmos

Actions

.github/workflows/black.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
black.yml
58 workflow runs
58 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[pull] main from a16z:main .github/workflows/black.yml #53: Pull request #16 by 0xkarmacoma
September 27, 2024 16:39 Failure a16z:main
a16z:main
September 27, 2024 16:39 Failure
[pull] main from a16z:main .github/workflows/black.yml #52: Pull request #16 by daejunpark
September 26, 2024 19:49 Failure a16z:main
a16z:main
September 26, 2024 19:49 Failure
[pull] main from a16z:main .github/workflows/black.yml #51: Pull request #16 by daejunpark
September 24, 2024 23:44 Failure a16z:main
a16z:main
September 24, 2024 23:44 Failure
[pull] main from a16z:main .github/workflows/black.yml #50: Pull request #16 by daejunpark
September 24, 2024 23:26 Failure a16z:main
a16z:main
September 24, 2024 23:26 Failure
[pull] main from a16z:main .github/workflows/black.yml #49: Pull request #16 by daejunpark
September 23, 2024 22:57 Failure a16z:main
a16z:main
September 23, 2024 22:57 Failure
[pull] main from a16z:main .github/workflows/black.yml #48: Pull request #16 by daejunpark
September 23, 2024 22:56 Failure a16z:main
a16z:main
September 23, 2024 22:56 Failure
[pull] main from a16z:main .github/workflows/black.yml #47: Pull request #16 by 0xkarmacoma
September 20, 2024 20:57 Failure a16z:main
a16z:main
September 20, 2024 20:57 Failure
[pull] main from a16z:main .github/workflows/black.yml #46: Pull request #16 by daejunpark
September 18, 2024 23:40 Failure a16z:main
a16z:main
September 18, 2024 23:40 Failure
[pull] main from a16z:main .github/workflows/black.yml #45: Pull request #16 by 0xkarmacoma
September 17, 2024 22:31 Failure a16z:main
a16z:main
September 17, 2024 22:31 Failure
[pull] main from a16z:main .github/workflows/black.yml #44: Pull request #16 by daejunpark
September 16, 2024 17:10 Failure a16z:main
a16z:main
September 16, 2024 17:10 Failure
[pull] main from a16z:main .github/workflows/black.yml #43: Pull request #16 by daejunpark
September 13, 2024 22:48 Failure a16z:main
a16z:main
September 13, 2024 22:48 Failure
[pull] main from a16z:main .github/workflows/black.yml #42: Pull request #16 by 0xkarmacoma
August 28, 2024 17:03 Failure a16z:main
a16z:main
August 28, 2024 17:03 Failure
[pull] main from a16z:main .github/workflows/black.yml #41: Pull request #16 by daejunpark
August 27, 2024 18:55 Failure a16z:main
a16z:main
August 27, 2024 18:55 Failure
[pull] main from a16z:main .github/workflows/black.yml #40: Pull request #16 by 0xkarmacoma
August 27, 2024 16:57 Failure a16z:main
a16z:main
August 27, 2024 16:57 Failure
[pull] main from a16z:main .github/workflows/black.yml #39: Pull request #16 by daejunpark
August 27, 2024 00:19 Failure a16z:main
a16z:main
August 27, 2024 00:19 Failure
[pull] main from a16z:main .github/workflows/black.yml #38: Pull request #16 by daejunpark
August 26, 2024 21:55 Failure a16z:main
a16z:main
August 26, 2024 21:55 Failure
[pull] main from a16z:main .github/workflows/black.yml #37: Pull request #16 by daejunpark
August 26, 2024 19:33 Failure a16z:main
a16z:main
August 26, 2024 19:33 Failure
[pull] main from a16z:main .github/workflows/black.yml #16: Pull request #16 opened by pull bot
July 23, 2024 00:25 20s a16z:main
a16z:main
July 23, 2024 00:25 20s
feat: support vm.getBlockNumber cheatcode (#325) .github/workflows/black.yml #15: Commit 8ae5902 pushed by pull bot
July 19, 2024 21:58 17s main
main
July 19, 2024 21:58 17s
[pull] main from a16z:main .github/workflows/black.yml #14: Pull request #15 opened by pull bot
July 19, 2024 21:14 1m 58s a16z:main
a16z:main
July 19, 2024 21:14 1m 58s
perf: early exit for fail() (#322) .github/workflows/black.yml #13: Commit 40cf25a pushed by pull bot
July 17, 2024 09:45 21s main
main
July 17, 2024 09:45 21s
[pull] main from a16z:main .github/workflows/black.yml #12: Pull request #14 opened by pull bot
July 17, 2024 07:56 19s a16z:main
a16z:main
July 17, 2024 07:56 19s
ci: pin yices2=2.6.4 (#320) .github/workflows/black.yml #11: Commit 854eab2 pushed by pull bot
June 27, 2024 06:38 4m 1s main
main
June 27, 2024 06:38 4m 1s
[pull] main from a16z:main .github/workflows/black.yml #10: Pull request #13 opened by pull bot
June 27, 2024 06:38 3m 54s a16z:main
a16z:main
June 27, 2024 06:38 3m 54s
ci: add snekmate to external test suites (#315) .github/workflows/black.yml #9: Commit 367b891 pushed by pull bot
June 26, 2024 01:51 20s main
main
June 26, 2024 01:51 20s