Skip to content

Actions: harp-lab/slog-lang1

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adding hol formalism, made a note (in the README) that it was Arash's… Slog CI Testing #398: Commit 3359111 pushed by kmicinski
May 24, 2024 04:19 5m 13s master
master
May 24, 2024 04:19 5m 13s
Tweak README.md Slog CI Testing #397: Commit 062356d pushed by thomasgilray
May 23, 2024 23:58 5m 4s master
master
May 23, 2024 23:58 5m 4s
Update README.md Slog CI Testing #396: Commit 2657295 pushed by sowmith1999
May 23, 2024 23:46 5m 2s master
master
May 23, 2024 23:46 5m 2s
Merge pull request #48 from harp-lab/string_spaces Slog CI Testing #395: Commit dc13f51 pushed by thomasgilray
May 23, 2024 18:28 5m 0s master
master
May 23, 2024 18:28 5m 0s
String spaces Slog CI Testing #394: Pull request #48 synchronize by sowmith1999
May 23, 2024 06:28 4m 55s string_spaces
string_spaces
May 23, 2024 06:28 4m 55s
String spaces Slog CI Testing #393: Pull request #48 synchronize by sowmith1999
May 23, 2024 06:21 4m 18s string_spaces
string_spaces
May 23, 2024 06:21 4m 18s
Update setup_slog.md Slog CI Testing #392: Commit f4d3b88 pushed by sowmith1999
May 20, 2024 16:47 6m 5s master
master
May 20, 2024 16:47 6m 5s
tweaks Slog CI Testing #391: Commit 0b6e43e pushed by thomasgilray
May 19, 2024 22:04 8m 0s master
master
May 19, 2024 22:04 8m 0s
String spaces Slog CI Testing #390: Pull request #48 synchronize by sowmith1999
May 15, 2024 22:28 5m 11s string_spaces
string_spaces
May 15, 2024 22:28 5m 11s
String spaces Slog CI Testing #389: Pull request #48 opened by sowmith1999
May 15, 2024 03:00 8m 27s string_spaces
string_spaces
May 15, 2024 03:00 8m 27s
link to paper Slog CI Testing #388: Commit 5403e34 pushed by kmicinski
May 13, 2024 23:40 5m 59s master
master
May 13, 2024 23:40 5m 59s
add MIT license Slog CI Testing #387: Commit 61de7b8 pushed by thomasgilray
May 13, 2024 22:29 6m 2s master
master
May 13, 2024 22:29 6m 2s
Merge pull request #47 from harp-lab/readme Slog CI Testing #386: Commit 576389a pushed by sowmith1999
May 8, 2024 05:11 8m 49s master
master
May 8, 2024 05:11 8m 49s
docs Slog CI Testing #385: Pull request #47 opened by sowmith1999
May 3, 2024 00:03 10m 24s readme
readme
May 3, 2024 00:03 10m 24s
Tutorial and Set-Up Slog CI Testing #384: Pull request #46 synchronize by sowmith1999
May 3, 2024 00:00 9m 52s readme
readme
May 3, 2024 00:00 9m 52s
Tutorial and Set-Up Slog CI Testing #383: Pull request #46 opened by sowmith1999
May 1, 2024 21:28 6m 4s readme
readme
May 1, 2024 21:28 6m 4s
update readme Slog CI Testing #382: Commit 3137812 pushed by StarGazerM
April 28, 2024 18:57 8m 26s master
master
April 28, 2024 18:57 8m 26s
New ir (#38) Slog CI Testing #381: Commit 8af0e6f pushed by StarGazerM
January 24, 2024 20:46 9m 14s master
master
January 24, 2024 20:46 9m 14s
New ir Slog CI Testing #380: Pull request #38 synchronize by StarGazerM
January 24, 2024 20:17 12m 59s new_ir
new_ir
January 24, 2024 20:17 12m 59s
runslog changes for enterrepl, better printing (#41) Slog CI Testing #379: Commit 4174d23 pushed by StarGazerM
August 3, 2023 03:21 24m 17s master
master
August 3, 2023 03:21 24m 17s
runslog changes for enterrepl, better printing Slog CI Testing #378: Pull request #41 synchronize by Michaelgathara
August 3, 2023 00:53 15m 33s enterrepl
enterrepl
August 3, 2023 00:53 15m 33s
runslog changes for enterrepl, better printing Slog CI Testing #377: Pull request #41 synchronize by Michaelgathara
August 2, 2023 23:35 18m 45s enterrepl
enterrepl
August 2, 2023 23:35 18m 45s
runslog changes for enterrepl, better printing Slog CI Testing #376: Pull request #41 synchronize by Michaelgathara
August 2, 2023 22:18 16m 29s enterrepl
enterrepl
August 2, 2023 22:18 16m 29s
runslog changes for enterrepl, better printing Slog CI Testing #375: Pull request #41 synchronize by Michaelgathara
August 2, 2023 03:35 18m 34s enterrepl
enterrepl
August 2, 2023 03:35 18m 34s
runslog changes for enterrepl, better printing Slog CI Testing #374: Pull request #41 synchronize by Michaelgathara
August 2, 2023 03:23 10m 55s enterrepl
enterrepl
August 2, 2023 03:23 10m 55s