Skip to content

Actions: de-tu-dresden-inf-lat/evee

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rollback data constr. & better error handling build & test #16: Commit 53e436c pushed by maphih
4m 45s development
development
4m 45s
data constructors build & test #15: Commit 8aaf42b pushed by maphih
5m 36s development
development
5m 36s
Merge branch 'development' into NonELConstructors build & test #14: Commit 268ef8f pushed by maphih
5m 41s development
development
5m 41s
Merge branch 'development' into NonELConstructors build & test #13: Commit 268ef8f pushed by maphih
5m 3s NonELConstructors
NonELConstructors
5m 3s
number restriction parsing build & test #12: Commit c35a797 pushed by maphih
3m 41s NonELConstructors
NonELConstructors
3m 41s
_ build & test #11: Commit eea2f23 pushed by ChristianAlrabbaa
5m 24s development
development
5m 24s
updated and complete capi version build & test #10: Commit 5d20035 pushed by ChristianAlrabbaa
5m 15s development
development
5m 15s
updated installation of CAPI in lib build & test #9: Commit 5d60b32 pushed by ChristianAlrabbaa
5m 26s development
development
5m 26s
Upgrade to ELK 0.6.0 build & test #8: Commit 7be5238 pushed by ChristianAlrabbaa
5m 21s development
development
5m 21s
_ build & test #7: Commit 3d4ad44 pushed by ChristianAlrabbaa
3m 47s development
development
3m 47s
OneOf & hasSelf constujr build & test #6: Commit d1ddce9 pushed by maphih
4m 44s NonELConstructors
NonELConstructors
4m 44s
added disjunctions and number & universal restr build & test #5: Commit 5e57d26 pushed by maphih
3m 54s NonELConstructors
NonELConstructors
3m 54s
update evee-protege-nemo-proof-extractor to new version of AbstractEv… build & test #4: Commit 89df31e pushed by stefborg
3m 46s development
development
3m 46s
Merge branch 'main' into development build & test #3: Commit 315d241 pushed by stefborg
3m 21s development
development
3m 21s
Update README.md for v0.4 build & test #2: Commit d9e767b pushed by stefborg
3m 9s main
main
3m 9s
Create build pipeline build & test #1: Commit 5d3529f pushed by maphih
2m 58s main
main
2m 58s