Skip to content

Actions: anand-bala/argus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #15: by github-pages bot
October 13, 2023 18:11 40s
October 13, 2023 18:11 40s
pages build and deployment pages-build-deployment #14: by github-pages bot
October 13, 2023 18:11 20s
October 13, 2023 18:11 20s
test(pyargus): better test for expr_gen CI #33: Commit f8e5707 pushed by anand-bala
October 13, 2023 18:09 6m 26s dev
dev
October 13, 2023 18:09 6m 26s
pages build and deployment pages-build-deployment #13: by github-pages bot
October 12, 2023 23:30 4m 57s
October 12, 2023 23:30 4m 57s
pages build and deployment pages-build-deployment #12: by github-pages bot
October 12, 2023 23:30 2m 26s
October 12, 2023 23:30 2m 26s
fix(argus): correctly handle untyped vars and recursion CI #32: Commit c68620d pushed by anand-bala
October 12, 2023 23:28 7m 7s dev
dev
October 12, 2023 23:28 7m 7s
pages build and deployment pages-build-deployment #11: by github-pages bot
October 12, 2023 01:08 42s
October 12, 2023 01:08 42s
pages build and deployment pages-build-deployment #10: by github-pages bot
October 12, 2023 01:08 20s
October 12, 2023 01:08 20s
tests(pyargus): add tests for parsing expressions CI #31: Commit 5da441d pushed by anand-bala
October 12, 2023 01:06 3m 54s dev
dev
October 12, 2023 01:06 3m 54s
pages build and deployment pages-build-deployment #9: by github-pages bot
October 6, 2023 23:38 34s
October 6, 2023 23:38 34s
pages build and deployment pages-build-deployment #8: by github-pages bot
October 6, 2023 23:38 16s
October 6, 2023 23:38 16s
ci(docs): push the generated tree to gh-pages CI #30: Commit d685270 pushed by anand-bala
October 6, 2023 23:37 11m 34s dev
dev
October 6, 2023 23:37 11m 34s
pages build and deployment pages-build-deployment #7: by github-pages bot
October 6, 2023 23:35 39s
October 6, 2023 23:35 39s
ci(docs): push the generated tree to gh-pages CI #29: Commit b98b8ba pushed by anand-bala
October 6, 2023 23:34 4m 33s dev
dev
October 6, 2023 23:34 4m 33s
pages build and deployment pages-build-deployment #6: by github-pages bot
October 6, 2023 23:23 43s
October 6, 2023 23:23 43s
ci(docs): use tree to generate doc index CI #28: Commit 5389278 pushed by anand-bala
October 6, 2023 23:22 6m 36s dev
dev
October 6, 2023 23:22 6m 36s
pages build and deployment pages-build-deployment #5: by github-pages bot
October 6, 2023 23:09 42s
October 6, 2023 23:09 42s
pages build and deployment pages-build-deployment #4: by github-pages bot
October 6, 2023 23:09 21s
October 6, 2023 23:09 21s
Release 0.1.2 CI #27: Commit 1319404 pushed by anand-bala
October 6, 2023 23:07 14m 33s dev
dev
October 6, 2023 23:07 14m 33s
Release 0.1.2 CI #26: Commit 1319404 pushed by anand-bala
October 6, 2023 23:07 1m 29s v0.1.2
v0.1.2
October 6, 2023 23:07 1m 29s
pages build and deployment pages-build-deployment #3: by github-pages bot
October 6, 2023 21:13 30s
October 6, 2023 21:13 30s
ci(docs): fixed copy arguments for gh-pages CI #25: Commit 411b144 pushed by anand-bala
October 6, 2023 21:11 11m 2s v0.1.1
v0.1.1
October 6, 2023 21:11 11m 2s
pages build and deployment pages-build-deployment #2: by github-pages bot
October 6, 2023 21:09 35s
October 6, 2023 21:09 35s
ci(docs): fixed copy arguments for gh-pages CI #24: Commit 411b144 pushed by anand-bala
October 6, 2023 21:08 9m 4s dev
dev
October 6, 2023 21:08 9m 4s
pages build and deployment pages-build-deployment #1: by anand-bala
October 6, 2023 21:06 33s
October 6, 2023 21:06 33s