Skip to content

Actions: saurabhchalke/halmos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
162 workflow runs
162 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
CodeQL CodeQL #16: Scheduled
July 11, 2024 08:43 2m 3s main
main
July 11, 2024 08:43 2m 3s
CodeQL CodeQL #15: Scheduled
July 4, 2024 08:43 2m 35s main
main
July 4, 2024 08:43 2m 35s
CodeQL CodeQL #14: Scheduled
June 27, 2024 08:43 1m 57s main
main
June 27, 2024 08:43 1m 57s
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
ci: pin yices2=2.6.4 (#320) Test long #6: Commit 854eab2 pushed by pull bot
June 27, 2024 06:38 8m 55s main
main
June 27, 2024 06:38 8m 55s
ci: pin yices2=2.6.4 (#320) Test #11: Commit 854eab2 pushed by pull bot
June 27, 2024 06:38 9m 46s main
main
June 27, 2024 06:38 9m 46s
ci: pin yices2=2.6.4 (#320) Test external projects #6: Commit 854eab2 pushed by pull bot
June 27, 2024 06:38 35m 23s main
main
June 27, 2024 06:38 35m 23s
ci: pin yices2=2.6.4 (#320) CodeQL #13: Commit 854eab2 pushed by pull bot
June 27, 2024 06:38 9m 34s main
main
June 27, 2024 06:38 9m 34s
ci: pin yices2=2.6.4 (#320) Test FFI #11: Commit 854eab2 pushed by pull bot
June 27, 2024 06:38 9m 27s main
main
June 27, 2024 06:38 9m 27s
[pull] main from a16z:main CodeQL #12: Pull request #13 opened by pull bot
June 27, 2024 06:38 1m 59s a16z:main
a16z:main
June 27, 2024 06:38 1m 59s
[pull] main from a16z:main Test #10: Pull request #13 opened by pull bot
June 27, 2024 06:38 6m 19s a16z:main
a16z:main
June 27, 2024 06:38 6m 19s
[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
[pull] main from a16z:main Test FFI #10: Pull request #13 opened by pull bot
June 27, 2024 06:38 4m 46s a16z:main
a16z:main
June 27, 2024 06:38 4m 46s
ci: add snekmate to external test suites (#315) Test long #5: Commit 367b891 pushed by pull bot
June 26, 2024 01:51 41s main
main
June 26, 2024 01:51 41s
ci: add snekmate to external test suites (#315) CodeQL #11: Commit 367b891 pushed by pull bot
June 26, 2024 01:51 2m 8s main
main
June 26, 2024 01:51 2m 8s
ci: add snekmate to external test suites (#315) Test #9: Commit 367b891 pushed by pull bot
June 26, 2024 01:51 8m 4s main
main
June 26, 2024 01:51 8m 4s
ci: add snekmate to external test suites (#315) Test FFI #9: Commit 367b891 pushed by pull bot
June 26, 2024 01:51 1m 1s main
main
June 26, 2024 01:51 1m 1s
ci: add snekmate to external test suites (#315) Test external projects #5: Commit 367b891 pushed by pull bot
June 26, 2024 01:51 46m 54s main
main
June 26, 2024 01:51 46m 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
[pull] main from a16z:main Test #8: Pull request #12 opened by pull bot
June 25, 2024 23:30 5m 43s a16z:main
a16z:main
June 25, 2024 23:30 5m 43s
[pull] main from a16z:main CodeQL #10: Pull request #12 opened by pull bot
June 25, 2024 23:30 5m 26s a16z:main
a16z:main
June 25, 2024 23:30 5m 26s
[pull] main from a16z:main .github/workflows/black.yml #8: Pull request #12 opened by pull bot
June 25, 2024 23:30 4m 0s a16z:main
a16z:main
June 25, 2024 23:30 4m 0s
[pull] main from a16z:main Test FFI #8: Pull request #12 opened by pull bot
June 25, 2024 23:30 7m 45s a16z:main
a16z:main
June 25, 2024 23:30 7m 45s
cli: deprecated --solver-parallel (#314) Test external projects #4: Commit f178dfb pushed by pull bot
June 25, 2024 01:14 43s main
main
June 25, 2024 01:14 43s