Skip to content

Actions: vaibhavsagar/presentations

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #41: by github-pages bot
December 7, 2024 14:43 38s gh-pages
gh-pages
December 7, 2024 14:43 38s
Use Nixpkgs 24.11 Build #85: Commit 61f0b4f pushed by vaibhavsagar
December 7, 2024 14:41 1m 17s master
master
December 7, 2024 14:41 1m 17s
pages build and deployment pages-build-deployment #40: by github-pages bot
August 24, 2024 11:58 42s gh-pages
gh-pages
August 24, 2024 11:58 42s
sat-solvers: update Build #84: Commit 6efc045 pushed by vaibhavsagar
August 24, 2024 11:57 1m 12s master
master
August 24, 2024 11:57 1m 12s
pages build and deployment pages-build-deployment #39: by github-pages bot
August 24, 2024 11:46 41s gh-pages
gh-pages
August 24, 2024 11:46 41s
sat-solvers: change comment colour Build #83: Commit 3162e1a pushed by vaibhavsagar
August 24, 2024 11:45 1m 8s master
master
August 24, 2024 11:45 1m 8s
pages build and deployment pages-build-deployment #38: by github-pages bot
August 24, 2024 11:35 38s gh-pages
gh-pages
August 24, 2024 11:35 38s
pages build and deployment pages-build-deployment #37: by github-pages bot
August 24, 2024 11:34 39s gh-pages
gh-pages
August 24, 2024 11:34 39s
sat-solvers: make headers a little more consistent Build #82: Commit 106a951 pushed by vaibhavsagar
August 24, 2024 11:34 1m 24s master
master
August 24, 2024 11:34 1m 24s
sat-solvers: don't transform headers to uppercase Build #81: Commit 9aa0312 pushed by vaibhavsagar
August 24, 2024 11:33 1m 20s master
master
August 24, 2024 11:33 1m 20s
pages build and deployment pages-build-deployment #36: by github-pages bot
August 19, 2024 11:54 35s gh-pages
gh-pages
August 19, 2024 11:54 35s
sat-solvers: use different colour for notes on Sudoku clauses Build #80: Commit cccde8f pushed by vaibhavsagar
August 19, 2024 11:52 1m 21s master
master
August 19, 2024 11:52 1m 21s
pages build and deployment pages-build-deployment #35: by github-pages bot
August 19, 2024 11:03 37s gh-pages
gh-pages
August 19, 2024 11:03 37s
sat-solvers: make explanatory notes in Sudoku example italic Build #79: Commit 98b9220 pushed by vaibhavsagar
August 19, 2024 11:02 1m 15s master
master
August 19, 2024 11:02 1m 15s
pages build and deployment pages-build-deployment #34: by github-pages bot
August 19, 2024 04:05 43s gh-pages
gh-pages
August 19, 2024 04:05 43s
pages build and deployment pages-build-deployment #33: by github-pages bot
August 19, 2024 04:05 35s gh-pages
gh-pages
August 19, 2024 04:05 35s
sat-solvers: selectively hide graphviz output for consistent images Build #78: Commit c3c991a pushed by vaibhavsagar
August 19, 2024 04:04 1m 11s master
master
August 19, 2024 04:04 1m 11s
sat-solvers: show final assignments in DPLL solution Build #77: Commit 7f65c59 pushed by vaibhavsagar
August 19, 2024 04:04 1m 14s master
master
August 19, 2024 04:04 1m 14s
pages build and deployment pages-build-deployment #32: by github-pages bot
August 19, 2024 02:55 41s gh-pages
gh-pages
August 19, 2024 02:55 41s
sat-solvers: update formatting of DPLL example Build #76: Commit 8fec378 pushed by vaibhavsagar
August 19, 2024 02:54 1m 12s master
master
August 19, 2024 02:54 1m 12s
pages build and deployment pages-build-deployment #31: by github-pages bot
August 18, 2024 11:44 33s gh-pages
gh-pages
August 18, 2024 11:44 33s
sat-solvers: add annotations to sudoku clauses Build #75: Commit f6c603f pushed by vaibhavsagar
August 18, 2024 11:42 1m 18s master
master
August 18, 2024 11:42 1m 18s
pages build and deployment pages-build-deployment #30: by github-pages bot
August 18, 2024 05:16 40s gh-pages
gh-pages
August 18, 2024 05:16 40s
sat-solvers: update Build #74: Commit adb86eb pushed by vaibhavsagar
August 18, 2024 05:15 1m 10s master
master
August 18, 2024 05:15 1m 10s
pages build and deployment pages-build-deployment #29: by github-pages bot
August 18, 2024 05:11 40s gh-pages
gh-pages
August 18, 2024 05:11 40s