Skip to content

Actions: liesnikov/extensible-elaborator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
370 workflow runs
370 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

small fixes in the elaborator Build slides #11: Commit b372b1a pushed by liesnikov
November 17, 2023 16:35 2s elaborator-experiments
elaborator-experiments
November 17, 2023 16:35 2s
small fixes in the elaborator Build paper #16: Commit b372b1a pushed by liesnikov
November 17, 2023 16:35 47s elaborator-experiments
elaborator-experiments
November 17, 2023 16:35 47s
small fixes in the elaborator Build eetc #9: Commit b372b1a pushed by liesnikov
November 17, 2023 16:35 2m 57s elaborator-experiments
elaborator-experiments
November 17, 2023 16:35 2m 57s
introduce neutrals to reduction Build paper #15: Commit 4406b8c pushed by liesnikov
November 17, 2023 16:35 39s elaborator-experiments
elaborator-experiments
November 17, 2023 16:35 39s
introduce neutrals to reduction Build eetc #8: Commit 4406b8c pushed by liesnikov
November 17, 2023 16:35 3m 3s elaborator-experiments
elaborator-experiments
November 17, 2023 16:35 3m 3s
introduce neutrals to reduction Build slides #10: Commit 4406b8c pushed by liesnikov
November 17, 2023 16:35 3s elaborator-experiments
elaborator-experiments
November 17, 2023 16:35 3s
introduce neutrals to reduction Build abstract #9: Commit 4406b8c pushed by liesnikov
November 17, 2023 16:35 55s elaborator-experiments
elaborator-experiments
November 17, 2023 16:35 55s
read through the intro, correct (not fix) the unification section Build eetc #7: Commit 4a36487 pushed by liesnikov
November 17, 2023 15:44 3m 33s ifl-submission
ifl-submission
November 17, 2023 15:44 3m 33s
read through the intro, correct (not fix) the unification section Build abstract #8: Commit 4a36487 pushed by liesnikov
November 17, 2023 15:44 1m 47s ifl-submission
ifl-submission
November 17, 2023 15:44 1m 47s
read through the intro, correct (not fix) the unification section Build paper #14: Commit 4a36487 pushed by liesnikov
November 17, 2023 15:44 2m 50s ifl-submission
ifl-submission
November 17, 2023 15:44 2m 50s
read through the intro, correct (not fix) the unification section Build slides #9: Commit 4a36487 pushed by liesnikov
November 17, 2023 15:44 2s ifl-submission
ifl-submission
November 17, 2023 15:44 2s
Setup CI (#15) Build slides #8: Commit 7b74c21 pushed by liesnikov
November 17, 2023 15:43 2s elaborator-experiments
elaborator-experiments
November 17, 2023 15:43 2s
Setup CI (#15) Build abstract #7: Commit 7b74c21 pushed by liesnikov
November 17, 2023 15:43 1m 20s elaborator-experiments
elaborator-experiments
November 17, 2023 15:43 1m 20s
Setup CI (#15) Build eetc #6: Commit 7b74c21 pushed by liesnikov
November 17, 2023 15:43 3m 24s elaborator-experiments
elaborator-experiments
November 17, 2023 15:43 3m 24s
Setup CI (#15) Build paper #13: Commit 7b74c21 pushed by liesnikov
November 17, 2023 15:43 1m 14s elaborator-experiments
elaborator-experiments
November 17, 2023 15:43 1m 14s
Setup CI Build abstract #6: Pull request #15 opened by liesnikov
November 17, 2023 15:43 1m 18s ci
ci
November 17, 2023 15:43 1m 18s
Setup CI Build slides #7: Pull request #15 opened by liesnikov
November 17, 2023 15:43 2s ci
ci
November 17, 2023 15:43 2s
Setup CI Build eetc #5: Pull request #15 opened by liesnikov
November 17, 2023 15:43 3m 24s ci
ci
November 17, 2023 15:43 3m 24s
Setup CI Build paper #12: Pull request #15 opened by liesnikov
November 17, 2023 15:43 1m 26s ci
ci
November 17, 2023 15:43 1m 26s
disable slides build for now Build abstract #5: Commit 186c56e pushed by liesnikov
November 17, 2023 15:41 42s ci
ci
November 17, 2023 15:41 42s
disable slides build for now Build slides #6: Commit 186c56e pushed by liesnikov
November 17, 2023 15:41 3s ci
ci
November 17, 2023 15:41 3s
disable slides build for now Build eetc #4: Commit 186c56e pushed by liesnikov
November 17, 2023 15:41 1m 4s ci
ci
November 17, 2023 15:41 1m 4s
disable slides build for now Build paper #11: Commit 186c56e pushed by liesnikov
November 17, 2023 15:41 47s ci
ci
November 17, 2023 15:41 47s
use nix, not cabal Build slides #5: Commit a16fab3 pushed by liesnikov
November 17, 2023 15:32 7m 1s ci
ci
November 17, 2023 15:32 7m 1s
use nix, not cabal Build paper #10: Commit a16fab3 pushed by liesnikov
November 17, 2023 15:32 1m 43s ci
ci
November 17, 2023 15:32 1m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-11-17 or the other filters available.