Skip to content

Actions: TDacik/Astral

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
178 workflow runs
178 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[Logic] Add term mapping function Run tests #211: Commit 76428ae pushed by TDacik
6m 37s unfolding_automata
unfolding_automata
6m 37s
[SL] Add builtin structures Run tests #210: Commit 8f7e496 pushed by TDacik
6m 35s unfolding_automata
unfolding_automata
6m 35s
pages build and deployment pages-build-deployment #18: by github-pages Bot
26s gh-pages
gh-pages
26s
[LL] Remove debug output Run tests #209: Commit 7394315 pushed by TDacik
7m 7s low-level-seplog
low-level-seplog
7m 7s
[LL] Add option to print sorts of variables Run tests #208: Commit ef377cd pushed by TDacik
6m 45s low-level-seplog
low-level-seplog
6m 45s
pages build and deployment pages-build-deployment #17: by github-pages Bot
27s gh-pages
gh-pages
27s
[Translation] Fix Run tests #207: Commit 4d36a84 pushed by TDacik
8m 1s dev
dev
8m 1s
pages build and deployment pages-build-deployment #16: by github-pages Bot
26s gh-pages
gh-pages
26s
[API] Add InductiveDefinition module Run tests #206: Commit 1922e20 pushed by TDacik
3m 51s dev
dev
3m 51s
[Translation] Refactoring of lookahead using let* Run tests #205: Commit 4840c21 pushed by TDacik
3m 41s dev
dev
3m 41s
[Translation] Fix incremental unfolding for non-location variables Run tests #204: Commit 047186f pushed by TDacik
7m 3s dev
dev
7m 3s
pages build and deployment pages-build-deployment #15: by github-pages Bot
25s gh-pages
gh-pages
25s
Add bitvector multiplication,so-far only with native Bitwuzla Run tests #203: Commit fd06b71 pushed by TDacik
6m 56s low-level-seplog
low-level-seplog
6m 56s
pages build and deployment pages-build-deployment #14: by github-pages Bot
24s gh-pages
gh-pages
24s
[Convertor] Promote after changes in built-in names Run tests #202: Commit 16c47b5 pushed by TDacik
3m 37s low-level-seplog
low-level-seplog
3m 37s
[Convertor] Promote after changes in built-in names Run tests #201: Commit 54af41f pushed by TDacik
3m 58s dev
dev
3m 58s
pages build and deployment pages-build-deployment #13: by github-pages Bot
29s gh-pages
gh-pages
29s
[Pages] Add documentation for low-level-seplog branch Run tests #200: Commit 6574ac9 pushed by TDacik
3m 35s dev
dev
3m 35s
[Pages] Add documentation for low-level-seplog branch Run tests #199: Commit 6998fb9 pushed by TDacik
3m 41s low-level-seplog
low-level-seplog
3m 41s
pages build and deployment pages-build-deployment #12: by github-pages Bot
23s gh-pages
gh-pages
23s
pages build and deployment pages-build-deployment #11: by github-pages Bot
29s gh-pages
gh-pages
29s
Merge branch 'dev' into low-level-seplog Run tests #198: Commit 56ff430 pushed by TDacik
6m 48s low-level-seplog
low-level-seplog
6m 48s
[Frontends] Improvements in LowLevel SL Run tests #197: Commit 10c4b9f pushed by TDacik
6m 43s dev
dev
6m 43s
[Frontends] Functorize Low-level SL Run tests #196: Commit 35a2e33 pushed by TDacik
7m 39s low-level-seplog
low-level-seplog
7m 39s
pages build and deployment pages-build-deployment #10: by github-pages Bot
30s gh-pages
gh-pages
30s