Skip to content

Actions: sybila/biodivine-xml-doc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix tests using new package name. Check #21: Commit 217e9c6 pushed by daemontus
May 15, 2024 06:38 1m 3s master
master
May 15, 2024 06:38 1m 3s
Update project metadata and description. Check #20: Commit f0641d6 pushed by daemontus
May 15, 2024 06:31 1m 4s master
master
May 15, 2024 06:31 1m 4s
Make element implement Hash Check #19: Commit 0968f69 pushed by daemontus
March 8, 2024 15:55 59s master
master
March 8, 2024 15:55 59s
Better tests for the UTF-8 cases. Check #18: Commit ea69299 pushed by daemontus
March 6, 2024 11:05 1m 9s master
master
March 6, 2024 11:05 1m 9s
Update UTF-8 related logic. Check #17: Commit da2d0ed pushed by daemontus
March 6, 2024 10:58 1m 4s master
master
March 6, 2024 10:58 1m 4s
Clippy. Check #16: Commit 26fadcd pushed by daemontus
March 6, 2024 10:39 1m 14s master
master
March 6, 2024 10:39 1m 14s
Change treatment of empty prefixes in subtree namespace computation. Check #15: Commit 9b24aa9 pushed by daemontus
October 16, 2023 14:38 5m 58s master
master
October 16, 2023 14:38 5m 58s
Add a method that obtains the document root. Check #14: Commit f0ab225 pushed by daemontus
October 16, 2023 12:41 1m 26s master
master
October 16, 2023 12:41 1m 26s
Add a method that collects all applicable namespace declarations as o… Check #13: Commit 2f6fb28 pushed by daemontus
October 16, 2023 12:36 5m 46s master
master
October 16, 2023 12:36 5m 46s
Fix typo. Check #12: Commit a342b56 pushed by daemontus
October 16, 2023 11:48 1m 37s master
master
October 16, 2023 11:48 1m 37s
Add option to collect namespace declarations relevant in a sub-tree. Check #11: Commit dbd2f08 pushed by daemontus
October 16, 2023 11:44 1m 32s master
master
October 16, 2023 11:44 1m 32s
Fix child detection issue with self-declared namespaces. Check #10: Commit f4e3670 pushed by daemontus
October 2, 2023 13:59 1m 39s master
master
October 2, 2023 13:59 1m 39s
Treat empty URL as the "default" namespace. Check #9: Commit 52bde31 pushed by daemontus
October 2, 2023 13:32 1m 29s master
master
October 2, 2023 13:32 1m 29s
Treat empty URL as the "default" namespace. Check #8: Commit a936cd0 pushed by daemontus
October 2, 2023 13:24 1m 27s master
master
October 2, 2023 13:24 1m 27s
A simpler is_quantified implementation. Check #7: Commit 1abd60b pushed by daemontus
October 2, 2023 13:04 1m 23s master
master
October 2, 2023 13:04 1m 23s
Remove useless clone. Check #6: Commit f22552b pushed by daemontus
October 2, 2023 12:54 1m 35s master
master
October 2, 2023 12:54 1m 35s
Remove useless copy. Check #5: Commit bc33fb7 pushed by daemontus
October 2, 2023 12:53 1m 39s namespaces
namespaces
October 2, 2023 12:53 1m 39s
Allow checking and updating child namespace based on URL. Check #4: Commit 4287a66 pushed by daemontus
October 2, 2023 12:47 1m 38s master
master
October 2, 2023 12:47 1m 38s
Fix write_path function. Check #3: Commit d283869 pushed by daemontus
July 18, 2023 09:33 1m 24s master
master
July 18, 2023 09:33 1m 24s
Update benchmark library versions where possible. Check #2: Commit 55e2559 pushed by daemontus
July 13, 2023 13:24 1m 30s master
master
July 13, 2023 13:24 1m 30s
Benchmark Benchmark #1: Manually run by daemontus
July 13, 2023 12:43 35m 47s master
master
July 13, 2023 12:43 35m 47s
More strict CI script. Check #1: Commit a11e1bf pushed by daemontus
July 13, 2023 12:39 1m 46s master
master
July 13, 2023 12:39 1m 46s