Skip to content

Actions: stanford-centaur/pono

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
67 workflow runs
67 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Add missing Python dependency to CI CI #268: Pull request #326 opened by CyanoKobalamyne
June 18, 2024 19:45 15m 9s ci-python-deps-fix
ci-python-deps-fix
June 18, 2024 19:45 15m 9s
Add pyparsing to Python deps in CI CI #267: Commit 9555c12 pushed by CyanoKobalamyne
June 18, 2024 19:44 8m 16s ci-python-deps-fix
ci-python-deps-fix
June 18, 2024 19:44 8m 16s
Update smt-switch to pull in bitwuzla fixes (#324) CI #266: Commit 521f54b pushed by CyanoKobalamyne
June 18, 2024 19:41 44s main
main
June 18, 2024 19:41 44s
Update smt-switch to pull in bitwuzla fixes CI #265: Pull request #324 synchronize by CyanoKobalamyne
June 18, 2024 19:36 2m 44s smt-switch-update-20240618
smt-switch-update-20240618
June 18, 2024 19:36 2m 44s
Update smt-switch to pull in bitwuzla fixes CI #264: Commit fc73535 pushed by CyanoKobalamyne
June 18, 2024 19:36 2m 56s smt-switch-update-20240618
smt-switch-update-20240618
June 18, 2024 19:36 2m 56s
Create virtual environment for Python packages in CI (#325) CI #263: Commit 835b6a9 pushed by CyanoKobalamyne
June 18, 2024 18:42 2m 54s main
main
June 18, 2024 18:42 2m 54s
Create virtual environment for Python packages in CI CI #262: Pull request #325 opened by CyanoKobalamyne
June 18, 2024 18:27 5s ci-python-fix-pep668
ci-python-fix-pep668
June 18, 2024 18:27 5s
Create virtual environment for Python packages in CI CI #261: Commit b555a21 pushed by CyanoKobalamyne
June 18, 2024 18:27 5s ci-python-fix-pep668
ci-python-fix-pep668
June 18, 2024 18:27 5s
Update smt-switch to pull in bitwuzla fixes CI #260: Pull request #324 opened by CyanoKobalamyne
June 18, 2024 18:20 35s smt-switch-update-20240618
smt-switch-update-20240618
June 18, 2024 18:20 35s
Update smt-switch to pull in bitwuzla fixes CI #259: Commit 2b32970 pushed by CyanoKobalamyne
June 18, 2024 18:17 40s smt-switch-update-20240618
smt-switch-update-20240618
June 18, 2024 18:17 40s
Ignore .cache CI #258: Commit 4f862f4 pushed by CyanoKobalamyne
February 12, 2024 22:03 21m 27s main
main
February 12, 2024 22:03 21m 27s
Add errexit bash option to setup scripts CI #257: Pull request #323 opened by CyanoKobalamyne
February 9, 2024 18:31 1m 38s exit-script-on-error
exit-script-on-error
February 9, 2024 18:31 1m 38s
Add errexit bash option to setup scripts CI #256: Commit 22d2f12 pushed by CyanoKobalamyne
February 9, 2024 18:20 1m 36s exit-script-on-error
exit-script-on-error
February 9, 2024 18:20 1m 36s
Update smt-switch to most recent version CI #255: Pull request #322 opened by CyanoKobalamyne
February 9, 2024 18:14 6m 6s smt-switch-update-20240208
smt-switch-update-20240208
February 9, 2024 18:14 6m 6s
Update smt-switch to most recent version CI #254: Commit a01528d pushed by CyanoKobalamyne
February 9, 2024 18:12 6m 19s smt-switch-update-20240208
smt-switch-update-20240208
February 9, 2024 18:12 6m 19s
Ignore .cache CI #253: Commit 4f862f4 pushed by CyanoKobalamyne
February 8, 2024 00:18 25m 15s master
master
February 8, 2024 00:18 25m 15s
dump CI #252: Commit 21367ae pushed by ahmed-irfan
May 29, 2023 05:20 39m 46s ic3ia-cvc5-pred-new
ic3ia-cvc5-pred-new
May 29, 2023 05:20 39m 46s