Skip to content

Actions: publications-org/pub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
228 workflow runs
228 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[CHORE] src: updated more_notes/m3 with updated lemma and definition … Ne.app Lean CI (Develop) #85: Commit c540901 pushed by amlel-el-mahrouss
1m 30s master
master
1m 30s
[CHORE] src: updated more_notes/m3 with updated lemma and definition … Ne.app PDF CI (Develop) #85: Commit c540901 pushed by amlel-el-mahrouss
1m 23s master
master
1m 23s
[CHORE] src: updated preprint.2.tex with new contents just written, f… Ne.app PDF CI (Develop) #84: Commit 11d21ff pushed by amlel-el-mahrouss
1m 40s master
master
1m 40s
[CHORE] src: updated preprint.2.tex with new contents just written, f… Ne.app Lean CI (Develop) #84: Commit 11d21ff pushed by amlel-el-mahrouss
1m 21s master
master
1m 21s
[CHORE] src: fix eq of remark 1.4 in m3.tex. Ne.app Lean CI (Develop) #83: Commit 9428dbe pushed by amlel-el-mahrouss
1m 27s master
master
1m 27s
[CHORE] src: fix eq of remark 1.4 in m3.tex. Ne.app PDF CI (Develop) #83: Commit 9428dbe pushed by amlel-el-mahrouss
2m 6s master
master
2m 6s
[CHORE] src: Fix issue #5 on GitHub. Ne.app Lean CI (Develop) #82: Commit a43a2b2 pushed by amlel-el-mahrouss
1m 42s master
master
1m 42s
[CHORE] src: Fix issue #5 on GitHub. Ne.app PDF CI (Develop) #82: Commit a43a2b2 pushed by amlel-el-mahrouss
1m 26s master
master
1m 26s
[CHORE] src: updated the on_glossary to include updated notations. Ne.app Lean CI (Develop) #81: Commit 5fff6e7 pushed by amlel-el-mahrouss
1m 39s master
master
1m 39s
[CHORE] src: updated the on_glossary to include updated notations. Ne.app PDF CI (Develop) #81: Commit 5fff6e7 pushed by amlel-el-mahrouss
1m 27s master
master
1m 27s
[CHORE] src: updated the papers with updated info. Ne.app PDF CI (Develop) #80: Commit f763db1 pushed by amlel-el-mahrouss
1m 41s master
master
1m 41s
[CHORE] src: updated the papers with updated info. Ne.app Lean CI (Develop) #80: Commit f763db1 pushed by amlel-el-mahrouss
1m 21s master
master
1m 21s
[CHORE] p.tex: updated on_in paper. Ne.app Lean CI (Develop) #79: Commit ac0a0df pushed by amlel-el-mahrouss
1m 33s master
master
1m 33s
[CHORE] p.tex: updated on_in paper. Ne.app PDF CI (Develop) #79: Commit ac0a0df pushed by amlel-el-mahrouss
1m 32s master
master
1m 32s
[CHORE] p.tex: updated on_in paper. Ne.app PDF CI (Develop) #78: Commit 04e837e pushed by amlel-el-mahrouss
1m 26s master
master
1m 26s
[CHORE] p.tex: updated on_in paper. Ne.app Lean CI (Develop) #78: Commit 04e837e pushed by amlel-el-mahrouss
1m 45s master
master
1m 45s
[CHORE] src: updated the papers with updated info. Ne.app Lean CI (Develop) #77: Commit 3fc0f1e pushed by amlel-el-mahrouss
1m 44s master
master
1m 44s
[CHORE] src: updated the papers with updated info. Ne.app PDF CI (Develop) #77: Commit 3fc0f1e pushed by amlel-el-mahrouss
1m 37s master
master
1m 37s
[CHORE] preprint.*.tex: added more preprints as exploratory. Ne.app PDF CI (Develop) #76: Commit 25743a4 pushed by amlel-el-mahrouss
1m 28s master
master
1m 28s
[CHORE] preprint.*.tex: added more preprints as exploratory. Ne.app Lean CI (Develop) #76: Commit 25743a4 pushed by amlel-el-mahrouss
1m 35s master
master
1m 35s
[CHORE] preprint.*.tex: added more preprints as exploratory. Ne.app Lean CI (Develop) #75: Commit f092bc3 pushed by amlel-el-mahrouss
1m 27s master
master
1m 27s
[CHORE] preprint.*.tex: added more preprints as exploratory. Ne.app PDF CI (Develop) #75: Commit f092bc3 pushed by amlel-el-mahrouss
1m 59s master
master
1m 59s
[CHORE] src: updated the notes, fixed the previous refactors. Ne.app Lean CI (Develop) #74: Commit 0f7c4e2 pushed by amlel-el-mahrouss
1m 31s master
master
1m 31s
[CHORE] src: updated the notes, fixed the previous refactors. Ne.app PDF CI (Develop) #74: Commit 0f7c4e2 pushed by amlel-el-mahrouss
1m 26s master
master
1m 26s
[CHORE] src: updated the notes, fixed the previous refactors. Ne.app PDF CI (Develop) #73: Commit 401d50d pushed by amlel-el-mahrouss
1m 36s master
master
1m 36s