Skip to content

Actions: jellevos/oraqle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
95 workflow runs
95 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Schedule and assign using maxsat Publish Python 🐍 distribution 📦 to PyPI #38: Commit 8d4c54a pushed by jellevos
January 16, 2025 08:27 22s mpsi
mpsi
January 16, 2025 08:27 22s
Schedule and assign Publish Python 🐍 distribution 📦 to PyPI #37: Commit 6a750b7 pushed by jellevos
January 14, 2025 16:29 36s mpsi
mpsi
January 14, 2025 16:29 36s
Fix several extended arithmetization bugs Publish Python 🐍 distribution 📦 to PyPI #36: Commit 7fc3631 pushed by jellevos
January 13, 2025 19:13 23s mpsi
mpsi
January 13, 2025 19:13 23s
Publish Python 🐍 distribution 📦 to PyPI Publish Python 🐍 distribution 📦 to PyPI #35: by jellevos
January 13, 2025 15:10 21s mpsi
mpsi
January 13, 2025 15:10 21s
Add notes Publish Python 🐍 distribution 📦 to PyPI #34: Commit 83d4d0f pushed by jellevos
January 10, 2025 16:44 22s mpsi
mpsi
January 10, 2025 16:44 22s
Small fixes Publish Python 🐍 distribution 📦 to PyPI #33: Commit 97eb741 pushed by jellevos
January 10, 2025 14:39 21s mpsi
mpsi
January 10, 2025 14:39 21s
Fix casting issues for Booleans Publish Python 🐍 distribution 📦 to PyPI #32: Commit 52f62a0 pushed by jellevos
January 8, 2025 11:08 20s mpsi
mpsi
January 8, 2025 11:08 20s
Publish Python 🐍 distribution 📦 to PyPI Publish Python 🐍 distribution 📦 to PyPI #31: by jellevos
January 7, 2025 15:40 21s mpsi
mpsi
January 7, 2025 15:40 21s
Add consistent Boolean types Publish Python 🐍 distribution 📦 to PyPI #30: Commit 2ae6517 pushed by jellevos
January 7, 2025 10:38 19s mpsi
mpsi
January 7, 2025 10:38 19s
Merge pull request #3 from jellevos/more-examples Publish Python 🐍 distribution 📦 to PyPI #29: Commit e33a437 pushed by jellevos
November 27, 2024 10:46 16s develop
develop
November 27, 2024 10:46 16s
pages build and deployment pages-build-deployment #5: by github-pages bot
November 27, 2024 10:45 27s gh-pages
gh-pages
November 27, 2024 10:45 27s
Merge pull request #3 from jellevos/more-examples Publish Python 🐍 distribution 📦 to PyPI #28: Commit e33a437 pushed by jellevos
November 27, 2024 10:45 18s main
main
November 27, 2024 10:45 18s
Merge pull request #3 from jellevos/more-examples Deploy docs #7: Commit e33a437 pushed by jellevos
November 27, 2024 10:45 27s main
main
November 27, 2024 10:45 27s
Merge pull request #3 from jellevos/more-examples Python application #20: Commit e33a437 pushed by jellevos
November 27, 2024 10:45 4m 3s main
main
November 27, 2024 10:45 4m 3s
Add more examples and fix compiler bugs Python application #19: Pull request #3 synchronize by jellevos
November 27, 2024 10:40 4m 19s more-examples
more-examples
November 27, 2024 10:40 4m 19s
Bump version Publish Python 🐍 distribution 📦 to PyPI #27: Commit 66dee1e pushed by jellevos
November 27, 2024 10:40 43s v0.1.5
v0.1.5
November 27, 2024 10:40 43s
Bump version Publish Python 🐍 distribution 📦 to PyPI #26: Commit 66dee1e pushed by jellevos
November 27, 2024 10:40 21s more-examples
more-examples
November 27, 2024 10:40 21s
Add more examples and fix compiler bugs Python application #18: Pull request #3 synchronize by jellevos
November 27, 2024 10:31 4m 20s more-examples
more-examples
November 27, 2024 10:31 4m 20s
Add if name is main to prevent dot errors Publish Python 🐍 distribution 📦 to PyPI #25: Commit 1e606c4 pushed by jellevos
November 27, 2024 10:31 17s more-examples
more-examples
November 27, 2024 10:31 17s
Add more examples and fix compiler bugs Python application #17: Pull request #3 synchronize by jellevos
November 27, 2024 10:28 1m 43s more-examples
more-examples
November 27, 2024 10:28 1m 43s
Fix final ruff error Publish Python 🐍 distribution 📦 to PyPI #24: Commit f6d2c5a pushed by jellevos
November 27, 2024 10:28 19s more-examples
more-examples
November 27, 2024 10:28 19s
Add more examples and fix compiler bugs Python application #16: Pull request #3 synchronize by jellevos
November 27, 2024 10:25 55s more-examples
more-examples
November 27, 2024 10:25 55s
Fix ruff errors Publish Python 🐍 distribution 📦 to PyPI #23: Commit 09af955 pushed by jellevos
November 27, 2024 10:25 20s more-examples
more-examples
November 27, 2024 10:25 20s
Add more examples and fix compiler bugs Python application #15: Pull request #3 opened by jellevos
November 27, 2024 10:12 48s more-examples
more-examples
November 27, 2024 10:12 48s
Merge branch 'main' into more-examples Publish Python 🐍 distribution 📦 to PyPI #22: Commit 38fb0d3 pushed by jellevos
November 27, 2024 10:11 23s more-examples
more-examples
November 27, 2024 10:11 23s