Skip to content

Actions: cda-tum/fiction

Actions

🐍 • CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-bindings.yml
1,508 workflow runs
1,508 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

🎨 Changed the default operational/non-operational tags to 1 and… 🐍 • CI #207: Commit 744f58c pushed by marcelwa
April 26, 2024 09:32 5h 33m 6s opdomain-explorer-additions
opdomain-explorer-additions
April 26, 2024 09:32 5h 33m 6s
💚 Fixed Python version support and Z3 architecture setup 🐍 • CI #206: Commit 4a3fb7c pushed by marcelwa
April 26, 2024 08:06 22m 15s dependabot/github_actions/github-actions-e0134512bf
dependabot/github_actions/github-actions-e0134512bf
April 26, 2024 08:06 22m 15s
⬆️ Bump the github-actions group with 4 updates 🐍 • CI #205: Commit 1485bad pushed by dependabot bot
April 26, 2024 04:25 1h 52m 19s dependabot/github_actions/github-actions-e0134512bf
dependabot/github_actions/github-actions-e0134512bf
April 26, 2024 04:25 1h 52m 19s
⬆️ Bump the submodules group across 1 directory with 3 updates 🐍 • CI #204: Commit 06953bc pushed by dependabot bot
April 26, 2024 04:06 7m 8s dependabot/submodules/submodules-43dee99710
dependabot/submodules/submodules-43dee99710
April 26, 2024 04:06 7m 8s
🎨 update code after merge. 🐍 • CI #203: Commit 9a09cb9 pushed by Drewniok
April 24, 2024 17:21 2h 12m 13s 2-input-pr
2-input-pr
April 24, 2024 17:21 2h 12m 13s
🐍 Added Python bindings (#371) 🐍 • CI #202: Commit 9becc3a pushed by marcelwa
April 22, 2024 18:04 1h 32m 54s main
main
April 22, 2024 18:04 1h 32m 54s
Merge branch 'main' into pyml 🐍 • CI #201: Commit 6b84dc6 pushed by Drewniok
April 20, 2024 07:22 1h 28m 0s pyml
pyml
April 20, 2024 07:22 1h 28m 0s
🔥 remove hash function for step point. 🐍 • CI #200: Commit 5c3ec55 pushed by Drewniok
April 19, 2024 09:06 12m 20s pyml
pyml
April 19, 2024 09:06 12m 20s
🎨 define hash function and use set to have unique random sample p… 🐍 • CI #199: Commit 4b3cc2a pushed by Drewniok
April 18, 2024 12:16 27m 20s pyml
pyml
April 18, 2024 12:16 27m 20s
🎨 revert execution policy setting and update unit test. 🐍 • CI #198: Commit b95727b pushed by Drewniok
April 18, 2024 10:19 13m 21s pyml
pyml
April 18, 2024 10:19 13m 21s
✅ fix unit test after merge. 🐍 • CI #197: Commit 86a7fe6 pushed by Drewniok
April 18, 2024 07:36 25m 28s pyml
pyml
April 18, 2024 07:36 25m 28s
Merge branch 'main' into pyml 🐍 • CI #196: Commit 9cfac91 pushed by Drewniok
April 18, 2024 07:31 11m 33s pyml
pyml
April 18, 2024 07:31 11m 33s
🐛 use correct limit. 🐍 • CI #195: Commit 756a57b pushed by Drewniok
April 16, 2024 15:06 11m 49s pyml
pyml
April 16, 2024 15:06 11m 49s
🔀 merge with main. 🐍 • CI #194: Commit a842897 pushed by Drewniok
April 16, 2024 13:05 1h 13m 9s pyml
pyml
April 16, 2024 13:05 1h 13m 9s
🎨 Incorporated pre-commit fixes 🐍 • CI #193: Commit 3aa8806 pushed by pre-commit-ci bot
April 15, 2024 16:19 1h 32m 20s pyml
pyml
April 15, 2024 16:19 1h 32m 20s
🎨 update the unordered map. 🐍 • CI #192: Commit 909e652 pushed by Drewniok
April 15, 2024 11:57 2h 45m 35s pyml
pyml
April 15, 2024 11:57 2h 45m 35s
🎨 small changes. 🐍 • CI #191: Commit af03903 pushed by Drewniok
April 15, 2024 11:02 1h 53m 41s pyml
pyml
April 15, 2024 11:02 1h 53m 41s
🎨 update docu. 🐍 • CI #190: Commit a10c17c pushed by Drewniok
April 15, 2024 10:29 1h 56m 12s pyml
pyml
April 15, 2024 10:29 1h 56m 12s
🎨 small fix. 🐍 • CI #189: Commit bc9d09b pushed by Drewniok
April 15, 2024 10:21 1h 37m 22s pyml
pyml
April 15, 2024 10:21 1h 37m 22s
🎨 small changes. 🐍 • CI #188: Commit da9c4fc pushed by Drewniok
April 15, 2024 09:09 51m 32s pyml
pyml
April 15, 2024 09:09 51m 32s
🎨 template deduction is working. 🐍 • CI #187: Commit 8e1d2d2 pushed by Drewniok
April 15, 2024 08:54 28m 48s pyml
pyml
April 15, 2024 08:54 28m 48s
📝 update docu. 🐍 • CI #186: Commit 64151d0 pushed by Drewniok
April 12, 2024 08:34 1h 16m 41s pyml
pyml
April 12, 2024 08:34 1h 16m 41s
🐛 small bug fix in opdomain unit test. 🐍 • CI #185: Commit bd9baf3 pushed by Drewniok
April 12, 2024 08:01 25m 12s pyml
pyml
April 12, 2024 08:01 25m 12s
🎨 rename function and update docu. 🐍 • CI #184: Commit 76c2d4d pushed by Drewniok
April 12, 2024 07:56 11m 44s pyml
pyml
April 12, 2024 07:56 11m 44s
🎨 rename function and change folder location. 🐍 • CI #183: Commit 59a455e pushed by Drewniok
April 11, 2024 15:40 11m 34s pyml
pyml
April 11, 2024 15:40 11m 34s
ProTip! You can narrow down the results and go further in time using created:<2024-04-11 or the other filters available.