Ecosyste.ms: Timeline
Browse the timeline of events for every public repo on GitHub. Data updated hourly from GH Archive.
cagix pushed 1 commit to master Dungeon-CampusMinden/Dungeon
- Bump org.junit.platform:junit-platform-launcher from 1.11.3 to 1.11.4 (#1663) 25343d7
cagix closed a pull request on Dungeon-CampusMinden/Dungeon
Bump org.junit.platform:junit-platform-launcher from 1.11.3 to 1.11.4
Bumps [org.junit.platform:junit-platform-launcher](https://github.com/junit-team/junit5) from 1.11.3 to 1.11.4. <details> <summary>Commits</summary> <ul> <li>See full diff in <a href="https://githu...
cagix deleted a branch Dungeon-CampusMinden/Dungeon
dependabot/gradle/org.junit.jupiter-junit-jupiter-5.11.4
cagix pushed 1 commit to master Dungeon-CampusMinden/Dungeon
- Bump org.junit.jupiter:junit-jupiter from 5.11.3 to 5.11.4 (#1664) b7f0d78
cagix closed a pull request on Dungeon-CampusMinden/Dungeon
Bump org.junit.jupiter:junit-jupiter from 5.11.3 to 5.11.4
Bumps [org.junit.jupiter:junit-jupiter](https://github.com/junit-team/junit5) from 5.11.3 to 5.11.4. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/junit...
cagix pushed 1 commit to master Compiler-CampusMinden/CB-Vorlesung-Bachelor
- Orga: amend calculation of the overall grade (S3) 4f5d4a4
cagix pushed 1 commit to master Compiler-CampusMinden/CB-Vorlesung-Bachelor
- Orga: amend calculation of the overall grade (S5) 4ab18a4
cagix pushed 20 commits to dev cagix/plfa.github.io
- Fix Assignment 2 and lectures for week 7 (#1056) * Fix Assignment 2 and lectures for week 7 * [pre-commit.ci] auto ... 740edba
- Bump sass from 1.80.3 to 1.80.4 (#1055) Bumps [sass](https://github.com/sass/dart-sass) from 1.80.3 to 1.80.4. - [Re... b0addd5
- release Assignment3 (#1058) * release Assignment3 * release Assignment3 (adding the assignment) 4b60d3f
- Bump sass from 1.80.4 to 1.80.6 (#1059) Bumps [sass](https://github.com/sass/dart-sass) from 1.80.4 to 1.80.6. - [Re... 810e13b
- Remove requirement for pattern matching in `×-comm` and `×-assoc` (#1057) * Update Connectives.lagda.md * [pre-comm... c6652a7
- update Assignment3 (#1062) 8fc2bc6
- added DeMorgan to extra (#1063) d5f810f
- Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 (#1065) Bumps [JamesIves/github-pages-deploy-action](h... e90acb3
- Bump bumpver from 2023.1129 to 2024.1130 (#1064) Bumps [bumpver](https://github.com/mbarkhau/bumpver) from 2023.1129... 16fc424
- Use double substitution for alternative formulation of products (#1066) 2f01537
- Compact definition of ¬¬¬-elim (#1060) Co-authored-by: Vrishab Srivatsa <[email protected]> Co-authored-by: Wen Kokk... c2314e9
- improve clarity of case in synthesize function (#1067) 9d9cf94
- add Assignment4 (#1069) 81eda5d
- Bump sass from 1.80.6 to 1.81.0 (#1068) Bumps [sass](https://github.com/sass/dart-sass) from 1.80.6 to 1.81.0. - [Re... a4b3660
- update TSPL link to Assignment4 (#1070) 5b06b5c
- Fix reference to +-assoc in text (#1072) e48ae08
- Fixing two problems in chapter `Inference` (#1073) * Update Inference.lagda.md * Update Inference.lagda.md ce50e93
- Bump JamesIves/github-pages-deploy-action from 4.6.9 to 4.7.1 (#1074) Bumps [JamesIves/github-pages-deploy-action](h... 6989652
- Bump sass from 1.81.0 to 1.82.0 (#1075) Bumps [sass](https://github.com/sass/dart-sass) from 1.81.0 to 1.82.0. - [Re... 4c9f656
- Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2 (#1076) Bumps [JamesIves/github-pages-deploy-action](h... 4356323
cagix pushed 8 commits to master Compiler-CampusMinden/CB-Vorlesung-Bachelor
- Orga: add feedback session for S5 64b39a6
- Lecture: add screencast to C++0 Basics 9d61a59
- Lecture: add screencast to C++1 Pointer d354f72
- Lecture: add screencast to C++2 Klassen 1f45d24
- Lecture: add screencast to C++3 Big3 6d78b73
- Lecture: add screencast to C++4 Operatoren df473c8
- Lecture: add screencast to C++5 Vererbung 0103241
- Lecture: add screencast to C++6 Templates 9eb88dc
cagix pushed 1 commit to master Compiler-CampusMinden/CB-Vorlesung-Bachelor
- Lecture: fix typo (C++, Templates) 071d2c1
cagix pushed 1 commit to master PRODUS-Project/Dungeon
- Bump vite from 6.0.2 to 6.0.3 in /blockly/frontend (#1662) d517599
cagix opened an issue on Compiler-CampusMinden/CB-Vorlesung-Master
Orga: Projekt-Pitch verbessern
Für den Projekt-Pitch müssen die Erwartungen deutlicher formuliert werden: 1. Format: Folien o.ä. (jedenfalls **nicht** mündlich) 2. Einreichung: vorab (Abgabe im ILIAS vorsehen) 3. Inhalte: E...
cagix opened an issue on Programmiermethoden-CampusMinden/Prog2-Lecture
VL/Übung: Debugger einführen
Wie nutze ich einen Debugger?
cagix deleted a branch Dungeon-CampusMinden/Dungeon
dependabot/npm_and_yarn/blockly/frontend/vite-6.0.3
cagix pushed 1 commit to master Dungeon-CampusMinden/Dungeon
- Bump vite from 6.0.2 to 6.0.3 in /blockly/frontend (#1662) d517599
cagix closed a pull request on Dungeon-CampusMinden/Dungeon
Bump vite from 6.0.2 to 6.0.3 in /blockly/frontend
Bumps [vite](https://github.com/vitejs/vite/tree/HEAD/packages/vite) from 6.0.2 to 6.0.3. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/vitejs/vite/rele...