Skip to content

Actions: softwarelanguageslab/maf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: added level methode to compute and which height we are in the… Incremental MAF tests on action #338: Commit 0c1d573 pushed by bramvdbogaerde
1m 57s master
master
1m 57s
feat: added level methode to compute and which height we are in the… MAF tests on action #1137: Commit 0c1d573 pushed by bramvdbogaerde
Queued master
master
Queued
setup program analysis with customisable priority WL algorithm Incremental MAF tests on action #337: Commit aa3a1ed pushed by noahvanes
1m 35s master
master
1m 35s
setup program analysis with customisable priority WL algorithm MAF tests on action #1136: Commit aa3a1ed pushed by noahvanes
1d 0h 0m 2s master
master
1d 0h 0m 2s
major improvements to MAFLogger! Incremental MAF tests on action #336: Commit 0d3f743 pushed by noahvanes
1m 32s master
master
1m 32s
major improvements to MAFLogger! MAF tests on action #1135: Commit 0d3f743 pushed by noahvanes
1d 0h 0m 2s master
master
1d 0h 0m 2s
update dockerfile MAF tests on action #1134: Commit 15ffc2d pushed by noahvanes
1d 0h 0m 1s master
master
1d 0h 0m 1s
update dockerfile Incremental MAF tests on action #335: Commit 15ffc2d pushed by noahvanes
1m 27s master
master
1m 27s
finalize edits MAF tests on action #1133: Commit 63daf8b pushed by noahvanes
1d 0h 0m 1s master
master
1d 0h 0m 1s
finalize edits Incremental MAF tests on action #334: Commit 63daf8b pushed by noahvanes
1m 33s master
master
1m 33s
improve evaluation setup Incremental MAF tests on action #333: Commit 8d83a7d pushed by noahvanes
1m 30s master
master
1m 30s
improve evaluation setup MAF tests on action #1132: Commit 8d83a7d pushed by noahvanes
1d 0h 0m 1s master
master
1d 0h 0m 1s
Merge branch 'master' of github.com:softwarelanguageslab/maf Incremental MAF tests on action #332: Commit aca8cf0 pushed by noahvanes
1m 29s master
master
1m 29s
Merge branch 'master' of github.com:softwarelanguageslab/maf MAF tests on action #1131: Commit aca8cf0 pushed by noahvanes
1d 0h 0m 2s master
master
1d 0h 0m 2s
WIP debug MAF tests on action #1130: Commit 1c017f1 pushed by jevdplas
1d 0h 0m 1s master
master
1d 0h 0m 1s
WIP debug Incremental MAF tests on action #331: Commit 1c017f1 pushed by jevdplas
1m 27s master
master
1m 27s
Merge remote-tracking branch 'origin/master' MAF tests on action #1129: Commit c44657d pushed by jevdplas
1d 0h 0m 1s master
master
1d 0h 0m 1s
Merge remote-tracking branch 'origin/master' Incremental MAF tests on action #330: Commit c44657d pushed by jevdplas
1m 34s master
master
1m 34s
add dockerignore Incremental MAF tests on action #329: Commit 2bea12f pushed by noahvanes
1m 29s master
master
1m 29s
add dockerignore MAF tests on action #1128: Commit 2bea12f pushed by noahvanes
1d 0h 0m 1s master
master
1d 0h 0m 1s
reorganise benchmarks + add Dockerfile Incremental MAF tests on action #328: Commit 27f9711 pushed by noahvanes
1m 1s master
master
1m 1s
reorganise benchmarks + add Dockerfile MAF tests on action #1127: Commit 27f9711 pushed by noahvanes
1d 0h 0m 2s master
master
1d 0h 0m 2s
fix bugs + setup experiment 1 MAF tests on action #1126: Commit 26813c4 pushed by noahvanes
1d 0h 0m 2s master
master
1d 0h 0m 2s
fix bugs + setup experiment 1 Incremental MAF tests on action #327: Commit 26813c4 pushed by noahvanes
1m 0s master
master
1m 0s
add allocated store to match formalisation MAF tests on action #1125: Commit c01fc3f pushed by noahvanes
1d 0h 0m 1s master
master
1d 0h 0m 1s