Skip to content

Actions: ProteusLab/LIRA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 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
[rust] TRS add custom extractor (#11) LIRA CI #29: Commit f68236e pushed by belovdv
50s master
master
50s
[rust] TRS add custom extractor LIRA CI #28: Pull request #11 opened by belovdv
50s tmp
tmp
50s
[rust] Deserialization optimization (#10) LIRA CI #27: Commit e8f33a6 pushed by belovdv
59s master
master
59s
[rust] Deserialization optimization LIRA CI #26: Pull request #10 opened by belovdv
55s rust_des_opt
rust_des_opt
55s
3 [rust/lira/ir_ser_txt] relax syntax constraint (#9) LIRA CI #25: Commit 624487a pushed by belovdv
1m 35s master
master
1m 35s
rust/lira/ir_ser_txt: relax syntax constraint LIRA CI #24: Pull request #9 opened by belovdv
1m 22s tmp
tmp
1m 22s
Python install fix (#8) LIRA CI #23: Commit 5fb96ab pushed by uslsteen
56s master
master
56s
Python install fix LIRA CI #22: Pull request #8 opened by uslsteen
1m 6s python-install-fix
python-install-fix
1m 6s
Add term rewriting (#5) LIRA CI #21: Commit 2ff7513 pushed by belovdv
59s master
master
59s
Add term rewriting LIRA CI #20: Pull request #5 synchronize by belovdv
1m 5s trs
trs
1m 5s
[infra] Introduced CMake (#6) LIRA CI #19: Commit 811d1d2 pushed by uslsteen
1m 4s master
master
1m 4s
[infra] Introduced CMake LIRA CI #18: Pull request #6 opened by uslsteen
1m 12s cmake-integration
cmake-integration
1m 12s
Create LICENSE LIRA CI #17: Commit 20f05c1 pushed by uslsteen
59s master
master
59s
Lira Integration (#3) LIRA CI #16: Commit 16799b0 pushed by uslsteen
56s master
master
56s
Lira Integration LIRA CI #15: Pull request #3 synchronize by uslsteen
50s lira-integration
lira-integration
50s
Lira Integration LIRA CI #14: Pull request #3 synchronize by uslsteen
48s lira-integration
lira-integration
48s
Lira Integration LIRA CI #13: Pull request #3 synchronize by uslsteen
50s lira-integration
lira-integration
50s
Lira Integration LIRA CI #12: Pull request #3 synchronize by uslsteen
48s lira-integration
lira-integration
48s
Lira Integration LIRA CI #11: Pull request #3 synchronize by uslsteen
38s lira-integration
lira-integration
38s
Lira Integration LIRA CI #10: Pull request #3 synchronize by uslsteen
1m 0s lira-integration
lira-integration
1m 0s
Lira Integration LIRA CI #9: Pull request #3 synchronize by uslsteen
55s lira-integration
lira-integration
55s
Lira Integration LIRA CI #8: Pull request #3 synchronize by uslsteen
1m 15s lira-integration
lira-integration
1m 15s
Lira Integration LIRA CI #7: Pull request #3 synchronize by uslsteen
1m 45s lira-integration
lira-integration
1m 45s
Lira Integration LIRA CI #6: Pull request #3 synchronize by uslsteen
1m 47s lira-integration
lira-integration
1m 47s
Lira Integration LIRA CI #5: Pull request #3 synchronize by uslsteen
1m 46s lira-integration
lira-integration
1m 46s